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