Precisely. The common usage of "they" is more modern than "he". "He" is considered quite outdated as it has fallen out of fashion. However, english doesn't care about fashion. "He" and "they" remain correct in this scenario. English allows you to use any combination of letters/sounds that you want as long as the message is conveyed, and, as shown in your original comment, "he" perfectly conveyed to you exactly who the original commenter was referring to.