Minha solução é muito simples. Eu examinei /var/log/Xorg.0.log
e encontrei o seguinte:
[ 52.308] (WW) The directory "/usr/share/fonts/X11/cyrillic" does not exist.
[ 52.308] Entry deleted from font path.
[ 52.308] (WW) The directory "/usr/share/fonts/X11/100dpi/" does not exist.
[ 52.308] Entry deleted from font path.
...
[ 52.314] (WW) The directory "/usr/share/fonts/X11/75dpi" does not exist.
[ 52.314] Entry deleted from font path.
[ 52.314] (WW) The directory "/var/lib/defoma/x-ttcidfont-conf.d/dirs/TrueType" does not exist.
[ 52.314] Entry deleted from font path.
Então, eu instalei os pacotes indicados:
xfonts-100dpi
xfonts-cyrillic
...
defoma
psfontmgr
x-ttcidfont-conf
Eu fiz a reimpressão e os gráficos Dotty ficaram bonitos, mas o nome da fonte padrão permanece desconhecido para mim.