The text f30c8aae00ab, as Debian 3.1 (Sarge) shipped it.
Return the font selection priority.
mfont_selection_priority(3m17n) on Linux now
