RFC 7997: The Use of Non-ASCII Characters in RFCs