No, it’s more like how we used to refer to all professions as being different kinds of men. Mailmen, firemen, policemen, etc. because men were the only ones with those jobs. I’m sure it’s not intentionally gendered language, but it definitely is and we can change it if we want.