CIRCLE WITH A DOT

I could probably just ask this in the Discords but I avoid Discord as much as humanly possible

Side note: given the news about upcoming extremely privacy-invading Discord changes, I am mildly curious about whether the "servers" I belong to will actually find alternatives or simply quietly go along with it.

I'm all in favour of going back to messageboards and IRC, but you know how I am.