You’ll notice that my previous post uses “they” as shorthand for “the user”. If your last remaining argument is that “he” is 2 letters and “they” is 4 and thus it’s unequivocally better to always use “he”, it’s not a very good one.