> (3) The change in the revision name system is truly minor. You guys have
I wouldn't say that. If it were truly minor there would have been no cause for it. Clearly there was a reason, and it is this reason to which Dave and Paul object, if I interpret correctly. -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to [EMAIL PROTECTED] . Trouble? e-mail to [EMAIL PROTECTED] .