For anyone here who is interested in following this topic: I moved it to <dev@community.a.o>.
-- - Julian Julian Foad wrote on 2018-09-10: > [...] the alias [that points to] the "private@" lists [...] should > therefore only be used for strictly private matters and it may be a good > idea to rename that alias [...]. > > For matters which we wish to address to PMCs but need not be private, we > should have some other alias [...]