Today I detected a bug in xbbold.mf, as of version 2.1, 30-May-1991.
This is the Blackboard bold driver for msbm of AMS symbol fonts
This file contains (at least the copy I have here) the line
which is entirely out of place there.
PLEASE remove that line!
The effect is that if you use magnification then the mag factor gets
applied twice on the Bbb letters so that they appear uncommonly big.
Enjoy the fun and try magstep5 for once!
In addition, hppp and vppp obtain wrong values, incongruent with the
resolution part of the file name
Fee on the device drivers which did not report the incongruency!!!
Pktype shows it clearly since hppp and vppp are of the things that get
shipped out last in a gf