People's names

[Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>]

I changed my name from KMP to Pitman in a bunch of proposals
because I thought it would be better for the X3J13 people who
aren't regular readers of net mail and might not put the two
together.

I notice in your summaries that sometimes I come out as KMP
and other times as Pitman. I'd appreciate if you could either
change the ones I missed to say Pitman or publish an index 
that says what a KMP is (in which case I'd like to be KMP
everywhere).

Presumably, the same reasoning should apply for SEF, etc. 
In fact, SEF doesn't even use the name SEF as his login name,
so that may be even more confusing to some.

Once we adopt a convention, we can just use it regularly and then
there need be no further last-minute touch-ups of this sort.