The text bf8f0f9510bd, as Debian 9 (Stretch) shipped it.
extract fonts from files
fontdump(1) on Linux now
