> That's a bug in the new RFC text then ;)

Agreed.  https://www.rfc-editor.org/how-to-report/

-- Juliusz

Reply via email to