shorten mailing list text and URL

The new URL is what we get when we search for the group on google
groups, so let's get rid of the useless part.