On Mon, Feb 27, 2023 at 07:25:13PM +0100, Juliusz Chroboczek wrote: > > That's a bug in the new RFC text then ;) > > Agreed. https://www.rfc-editor.org/how-to-report/ Done :) --Daniel