Stuart Henderson writes:
> These are ripped from pc hardware surely? I don't see how it's legal to
> slap a CC BY-SA 4.0 on it...(doesn't entirely rule out adding to ports,
> but I don't think it can have PERMIT_DISTFILES/PERMIT_PACKAGE=Yes).

Typefaces are uncopyrightable under US law. Font files are software and
may be copyrighted, but it's perfectly permissible to create your own
font file that produces the exact same glyphs, and that of course is
trivial to do for a bitmap font. Regarding non-US law, no comment...