Right, found it. But... let me rant a bit: I hate this "everyone picks their pronoun" business. Not that I have political or philosophical objections, it sounds just fine. But in practice: how am I supposed to figure out someone's preferred pronouns? Some put them on their home page, others in their Mastodon profile, etc. In a conversation, am I supposed to stop, take out my phone, and do five minutes of search before I continue my sentence?
Language is a collective property of its speaker community, so pronoun choice needs to follow agreed-on rules in that community. For nothing other than pragmatic reasons.