Mailing list change

This should catch all the remaining links to our old Mailman lists, mostly simple copy changes but 72df83a needs looking at and probably correcting by someone who understands what the code is doing.