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 --