>> 	Apple extensions:
>> 	^@		same as ^space
> Wait.  ^space == NULL?

I've used terminals (real terminals, not terminal-emulator programs)
that generate a NUL for control-space.  (Such terminals often won't
generate a NUL for control-2, sometimes not even for control-shift-2
even though shift-2 is @.)  (NUL is the ASCII name for it - NULL is not
an ASCII character name and probably gets confused with NUL because of
the similarity of spelling and pronunciation, this confusion helped
along by a lot of C environments that let you get away with using NULL
as if it were '\0', for a NUL character.)

I think at least one such terminal was an old DEC VTsomething, VT100 or
VT101 or some such.  But that could be wetware bit rot.

> That boggles the mind...

I've never quite understood it myself, but there really is precedent.

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML	       mouse@rodents.montreal.qc.ca
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B