<off-topic-alert>
Simon Brooke <simon@jasmine.org.uk> wrote:
+---------------
| When I was young and pedantic, I used to spell it LisP, and other
| pedants (including, possibly, Erik) used to take issue to that. Now
| I'm older I find I'm more relaxed. If people want to take issue with
| the capitalisation of a word, that's fine with me. I prefer to stress
| about things which actually matter.
+---------------
The only current(?) case I know of where capitalization kinda sorta
really matters is the spelling of "HIPPI". It should *not* be spelled
"HiPPI" (or "HPPI"), since that infringes on an H-P trademark ("HP-PI").
Background on that issue is included in the Forward to the HIPPI-PH spec
ANSI X3.183-1991 (R1996). See <URL:http://www.hippi.org/dPH82.pdf>
</off-topic-alert>
-Rob
-----
Rob Warnock, 41L-955 rpw3@sgi.com
Applied Networking http://reality.sgi.com/rpw3/
Silicon Graphics, Inc. Phone: 650-933-1673
1600 Amphitheatre Pkwy. PP-ASEL-IA
Mountain View, CA 94043