I wrote:

> UTF8 is an encoding which maps every Unicode code point to a sequence of 1 to 4 bytes.
>
> Pure ASCII characters (00-0F, or 00000000-01111111) are all mapped to the exact same single-byte value in UTF8.

Sorry, this should be 00-7F of course.

Paul