I see your vision now, and I get everyone's "this is PC nitpicking gone mad!" reactions - but I think it's more subtle (of course it's totally up to you). "Girl

I see your vision now, and I get everyone's "this is PC nitpicking gone mad!" reactions - but I think it's more subtle (of course it's totally up to you). "Girl" works great as a superhero name, but for tool for doing serious software development it feels a bit dated. "Girl" has a lot of historical connotations when applied to real actual work. It was a way to belittle the importance of people's skills and organizational value. When I first read "PatchGirl" I saw switch-board operators, not superheros - because it sounds exactly like a name that would get applied to women's work in the 1950s. The same is true for "boy": if you want to imply someone's not a man, you call them "boy"... but no one after the 1950s would do this in an office setting unless they were being antagonistic. Again, it's fine for a superhero! I think that's why some people will be against the name. Words are powerful, and have been used powerfully in the past. If you're not aware of the past (or not adversely affected by it) then it seems like a stupid nitpick - but to some there's a negative reaction to seeing history repeating.