Fontname: Filenames for TeX fonts

This is Fontname, a naming scheme for (the base part of) external TeX
font filenames. This makes at most eight-character names from (almost)
arbitrarily complex font names, thus helping portability of TeX
documents.