Hi Pavel,
here are the updated fonts. I still used the old FontForge.
Thanks. I agree with all your analysis, FWIW.
I installed the new fonts in our svn and will check and send to
Victor as soon as I have a chance. Mojca, whenever you have a chance to
proceed with the other steps you mentioned, that'll be great...
Karl