[tex-k] Contradiction between GFTOPK and GFTYPE

[Karl Berry]

        it is 2^20 times the ratio of the true width to the font’s design size.

    Which one is correct?

As Andreas said, 2^20 is correct (see, e.g., mf.web).

Another person reported this for the last tuneup (the incorrect 2^{24}
had been present in other *.web files as well) but Knuth failed to fix
gftopk.web and no one noticed :(.

I'll add it to the newbug list (in due time). --thanks, karl.