Google Group



This is just to let you all know that I setup a Google Group mirror of
this mailing list (removed_email_address@domain.invalid). I prefer to use this
interface rather than use my Inbox. All are of course welcome to do
the same.

Note to new subscribers: If you want to post via the google group you
must first join the original list (see