gl_setfont(3vga) on Linux

The text c7fbf24c0d11, as Debian 3.0 (Woody), Debian 2.2 (Potato), Debian 2.1 (Slink), Debian 2.0 (Hamm) shipped it. The page shows this text now.

set the text font to be used