For me, reading this kinda felt like a reminder that I was in a space that's mostly men - a reminder that I'm a minority here, but not that bothersome. I can imagine it being more bothersome to other women, and the general pattern does make me feel a bit more like an outsider (when lots of these comments happen). Just one data point.