It used to be a list of our different public mailing lists. But now that
we have doc/about/contact we can do better.