<html style="direction: ltr;">
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style>
  </head>
  <body bidimailui-charset-is-forced="true" style="direction: ltr;">
    <p>It's a long shot but is that appendix around by any chance?</p>
    <p><br>
    </p>
    <p>Mehdi</p>
    <p><br>
    </p>
    <div class="moz-cite-prefix">On 3/22/23 03:52, Rob Pike wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAKzdPgyZEwESciO4HwQ0yGLQMX9PPTdQM40SK605ZPtJzozMGQ@mail.gmail.com">the
      paper had an appendix that described UTF-8's encoding rigorously,
      but that was dropped</blockquote>
  </body>
</html>