On Sunday, 26 January 2025 at 02:19:04 UTC, Paul Backus wrote: > > Here's what actually happened: you saw one user in the Discord > with pronouns in their display name and threw a tantrum about > it. Why I am not surprised.