I do not understand how this was necessary. Isn't it gender neutral by default? Because when we talk about "airmen", you refer to pilots and aircrews, no matter what gender, don't we?