Re: Umstellung der Mailinglisten auf Discourse? (war: #metoo, was Mailman?)