We’ve migrated the mailing list today, from our internally, “Mailman”-hosted server, to Google Groups. Now there’s searchable and RSS-able yummy-ness in the new list archives.
The transition was pretty transparent to the subscribers. Those who were subscribed to the old list, should have received an email about the new list. However, no one really needs to do anything differently.