I think we had agreed that formerly-listed contributors would not be deleted, but would be moved to a new section titled "Contributors Emeritus" or some such. Please make sure that Tom Lockhart and Vadim get listed that way, at least.
I think the "Emeritus" word might be too hard for non-native English speakers, and even for less educated English speakers.
Isn't that an even better reason to use it? :)
Chris
---------------------------(end of broadcast)--------------------------- TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]
