27 Feb
2023
27 Feb
'23
6:25 p.m.
That's a bug in the new RFC text then ;)
Agreed. https://www.rfc-editor.org/how-to-report/ -- Juliusz