Okay, I've got an even _more_ stupid question now.  I've got an AXPPCI33
here with a VGA card as the console.  What the heck is the terminal type
of it?  I've tried "ansi", "vt100", "pc3", and even "sun"; none of them
work quite right.

(If this is mentioned somewhere in the docs, then please tell me, because
I missed it if it's there).

--Ken