nasty.dvi
.
lists all the fonts used in the DVI file and prefixes each font
with its type:
PK indicates a packed pixel font (see section );
PS indicates a PostScript font (see section );
VF indicates a virtual font.
As it happens, nasty.dvi
does use a couple of virtual fonts,
so processes every page, fixes all virtual font references
and creates a new version of nasty.dvi
.
If your documents use virtual fonts, it is advisable to tick
``Fix VFs after TEX'' in the TEX menu;
then you don't have to remember to run ``Fix VFs in DVI'' before
viewing or printing a DVI file.