<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>