It's a long shot but is that appendix around by any chance?

Mehdi

On 3/22/23 03:52, Rob Pike wrote:

the paper had an appendix that described UTF-8's encoding rigorously, but that was dropped