Picking the HTML entity names is better than the Unicode ones as the latter are way too long. They may not cover all the characters we need, but we can make up missing ones in a consistent fashion.
I fear there are too many "missing ones" for that. Any reason we couldn't accept both HTML and Unicode names?
Damian
