Re: hyperkitty thinks trac@fedorahosted.org is "fedora-badges" ... or is it "FESCo Trac"?