Perhaps we need a browser plugin for people to detect when ‘he’ is being used as the default gender and convert it?
‘He’ worked as the default pronoun for a long time in many languages all over the world. (And still does in many languages) I find it curious how many people can be sold into the idea that a language can be considered sexist.