index.html: add description of mailing list