On Wed, Aug 12, 2015 at 03:34:19PM +0200, Harald Alvestrand wrote:
RFC numbers are cheap. (The debate required to agree on the text may not
be.)
And the labor to edit new RFCs is also not cheap. We could have
produced a modern replacement for RFC 20.
Nico
--