Plan 9 from Bell Labs’s /usr/web/sources/patch/saved/vga-default-mode/readme
the man page for vga(8) specifies the default in two places, inconsistently. made the wrong one match what the source says.