Juliusz Chroboczek Mon, 27 Feb 2023 10:29:55 -0800
> That's a bug in the new RFC text then ;) Agreed. https://www.rfc-editor.org/how-to-report/
-- Juliusz