Aha, found it!
https://archlinux.org/packages/extra/any/xorg-fonts-misc/ is the Arch linux package containing the correct font. _______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist
