doc: mailing list is deprecated