No, you don't have to have a Google account. You can use any email
address. Having a Google account might make it easier to post to the
mailing list from the Web (not by email), though.
If anybody feels like they need to unsubscribe and then re-subscribe
under a different email address, please feel free and include a note
in the comment box saying who you are.
Cheers,
Tim
--
Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error, never in doubt
"an intelligent person fights for lost causes,realizing that others
are merely effects" -- E.E. Cummings