That's basically it, moving to [email protected]. I mostly do this due to some people feedback about having the community on a more politically neutral instance.
If someone wants to take this one back, let me know, I'm going to lock it in the meantime.
Just tried it, very satisfying to see it work again!