On Jun 5, 2008, at 17:53, Greg Smith wrote:
> I was already considering keeping user comments as # while making
> all system-inserted ones #! ; many people are already used to #!
> having a special system-related meaning from its use in UNIX shell
> scripting which makes it easier to remember.
Oooh, yeah. I hadn't even thought of that! I was just looking at
characters on my keyboard and typing them in to see which ones I
thought were most distinctive. This may be part of the reason I
thought that #! was distinctive. :-)
Best,
David