- Note that position 0 is still 0000, not 0020 as it might plausibly
- be, because I didn't like the idea that converting several words
- in Unicode through this table would produce NULs in place of all
- the spaces! In principle that works fine, but it makes me uneasy.
+ Since this table contains a few duplicated positions, we use the
+ `sortpriority' hint to indicate that things in the main part of
+ the code table (0x20-0xFF) should be generated preferentially when
+ converting _from_ Unicode. Hence, U+00b0 (for example) will yield
+ 0xb0 rather than 0x07.