Not completely mechanical since support for East Asian Width changes—emoji
codepoints became Wide—had to be added to unicodedata.