2 ms·

As gender isn't an issue here, that I used he/him is irrelevant to the discussion. It wasn't meant as sexism.