jorty (deprecated aspect) is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
It's not that the system must /allow/ Mike Cole to /be/ a girl, but rather it must /acknowledge/ that Mike Cole /is/ a girl
@jordyd same