<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">On 1/5/21 8:21 AM, Viktor Dukhovni
      wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:X%2FQTXdne250cyIDO@straasha.imrryr.org">
      <pre class="moz-quote-pre" wrap="">On Tue, Jan 05, 2021 at 08:07:16AM +0100, Vladimír Čunát wrote:
</pre>
      <blockquote type="cite" style="color: #999999;">
        <pre class="moz-quote-pre" wrap="">Off the top of my head, I don't even now how exactly is the escaping 
specified in RFCs.
</pre>
      </blockquote>
      <pre class="moz-quote-pre" wrap="">That's easy, any <b class="moz-txt-star"><span class="moz-txt-tag">*</span>non-digit<span class="moz-txt-tag">*</span></b> character can be escaped with a preceding
"\", or alternatively as a 3-digit <b class="moz-txt-star"><span class="moz-txt-tag">*</span>decimal<span class="moz-txt-tag">*</span></b> \DDD sequence.</pre>
    </blockquote>
    <p>Right, though my interest at this moment was more about how to
      *output* a name: there's lots of freedom and apparently no
      "preferred" way (in RFCs).  Maybe it's not bad; otherwise more
      tools might start relying on one particular way of output.</p>
    <p>--Vladimir<br>
    </p>
  </body>
</html>