@[email protected], you are now mod of [email protected]. I will look into removing the previous mod, whose account is banned anyway. Actually, perhaps that is something you have the ability to do yourself; I’m not sure how to do it as an admin.
Is there still a use for [email protected], or should we delete it?