That's very encouraging. The Font Management wiki page addresses all the issues I have mentioned above.
https://wiki.ubuntu.com/FontManagement -- Gnome offers no way to manage fonts https://launchpad.net/bugs/66833 -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
