[randomdata]

Absolutely it is. Nothing wrong with pedantry per-se, but with respect to this particular discussion it helps to understand the motivation to understand if the person is not clear on what "he" means, which we can help correct to prevent future confusion when future comments use gender-neutral "he", or is just trying to have some fun, which we can safely ignore.