at least set aside a few for ``user specific variants''.
Well, as long as the font isn't being distributed widely, it doesn't
really matter what name you give it.
But anyway, the only single characters I see that are sort of available
are 0-4 and b. Why don't we say `0'. And we can reserve [5679]z.
OK? Will that help?