I think the ban was a little too harsh, but removing that comment was the right decision.

I see a few false equivalences with your “your highness” comparison:

1. “Your highness” is an official title, not a personal designation. Its proper usage depends heavily on the context, e.g. the perceived social rank and status, how well people know each other, if it’s a formal or informal conversation, and so on. Pronouns have none of that, you just use the one people identify as and that’s it.

2. It assumes that people just pick whatever term they can come up with to mess with others or to mock them. People who want to be called by a certain pronoun don’t do so lightly, they usually think about it a lot and it’s an important personal decision. They also usually pick one of the common pronouns, so it’s really not hard to just use it.

Making logical comparisons regarding social norms is a very tricky thing in my experience. There are many things going on that we aren’t fully aware of all of the time, and getting it wrong can hurt people badly.