[zerocrates]

I believe they were talking in that comment about adding a new font to Debian.

[dsr_]

It seems unlikely to be that difficult, given that there are

apt search "font"|grep fonts-|wc -l

roughly 600 font families packaged in the Debian repositories right now.