the man page for vga(8) specifies the default in
two places, inconsistently. made the wrong one
match what the source says.