Singular they is linguistically better than "he or she".

Banning Karen (and most of these lists) is a ridiculous demand, I think this one instance is the place where politicization is preventing people from considering the benefits. It makes language a lot smoother independently of non-binary uses.