No, just pointing out that the English word is gendered. As you point out, the activity is gendered, too. Nonetheless, anywhere from one to ten percent of the active duty personnel of the various combatant countries in the Second World War were women. The USSR, despite what you might think from the movies, was about in the middle of the range at a little over 3%, though women there did fill a wider range of roles than in most armies (snipers and combat pilots, famously, as well as the more common AAA gunners, clerks, and medical personnel).
The US military enrolled about 350,000 women out of a total in all services of about 10 million. The photo is of my mother, Anne Mills (King), Private, US Army Air Corps (15th Air Force Ordnance Department) 1943-1944.