[dns-operations] random numbers

[Stephane Bortzmeyer]

On Thu, Sep 10, 2020 at 06:32:59PM -0700,
 Paul Vixie <paul at redbarn.org> wrote 
 a message of 56 lines which said:

> <<You should also configure your servers to negotiate an EDNS buffer size
> that will not cause fragmentation. The value recommended here is 1232
> bytes.>>
> 
> this number is random,

I don't think it is random. It is 1280 (RFC 8200, section 5) minus 40
(RFC 8200, section 8.3) minus 8 (RFC 768).