Does anybody know where I can obtain 'restorefont'?
It is part of the 'svgalib' package available on some
Linux distributions.

G.