(In reply to Petr Gajdos from comment #20) > (In reply to Stefan Dirsch from comment #13) > > ghostscript-fonts-other package, if that really makes sense. Adding our font > > expert Peter. > > Ugh, never was! Uff, Peter, not Petr :D :D. /me very, very hides!