The text a2ac9cb4b3c5, as Debian 10 (Buster) shipped it.
Set family, style and weight of the current font
plsfont(3plplot) on Linux now
