Basically we were in the process of having a discussion about defederating them, and then they blocked us before we could have a vote in c/Agora.
So it seemed like the problem was solved. But the fact that they don’t appear on our blocklist has been misleading to others, so I think it’s better to make it official.
Any particular reason?