Add mailing-list; style fixes