>"Ack."  I sort of wish you'd run them by an Alpha port developer
>(perferably one that actually has TC alpha hardware, such as myself :-).

Ok. noted. And that it's going away in a few days.

At least this way anyone who cares can figure out what the changes in
console semantics between the pmax and alpha were.  With a little
luck, the pmax port might even be able to use whatever you replace it with.