But if you keep your eyes open, you'll eventually notice that women (especially in tech) wind up having to "take a joke" all the friggin' time. And that gets really old.
I mean, seriously, look at this very example. Imagine that the "bro" command became a standard tool. Now picture a woman being stuck typing "bro" on a regular basis during her working day. It's never a big deal, obviously. But she still has to type it again, over and over, taking a tiny but not quite negligible emotional hit of feeling excluded every single time. It's not the end of the world, sure... but why would anybody choose to make things that way if there's another choice?
Do I take a tiny but not quite negligible emotional hit of feeling excluded every single time for doing that? what about people who program ada and type the name each day? Do you think most people even will notice that the 3 letter actually represent a name, a person, a woman, each time?
Some people would probably be more consciously aware than others of the fact that the 3 letters "bro" are a reference to "bro culture". Here are a few groups of people whom I think would be most likely to notice: People new to tech; women who've had bad experience with "brogrammer" types; "brogrammer" types themselves. It seems like a bad idea to adopt any policy likely to make the first two of those groups uncomfortable while signaling approval toward the third.
 Side notes: 1. Those professions are making a real effort to change these patterns to be more inclusive, too. And 2. Gender inequality in tech is nevertheless a more pressing problem than gender inequality in nursing, because tech is considered a higher status career.
Man, woman, brother... next command should be sister. Its a themed naming scheme.
But my point is that very few people will even think about a command they type in, especially if its just 3 letters. There are only so many 3 letter combinations, and even fewer that represent words.
Of course, on its own, that is pretty irrelevant. There are jokes like that all the time on all sorts of topics. But in this situation, it is ALWAYS men joking with/about other men. Women are excluded from the jokes completely. And these sorts of "jokes" and other little implicit signals are all over everything remotely related to CS/tech. Which gets pretty discouraging, day after day.
The idea that a woman would literally be repeatedly emotionally traumatized by typing a three letter combination would be hilarious if it weren't so blatantly misogynistic.
I feel ill all of a sudden thinking about all the disabled graphic designers that are forced to use GIMP every day.