The existence of this font should at the very least be a FAQ "nearby". I installed the font packages, and the experience is pleasantly different. Thank you for this information. -- To be updated... -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
