Reading another thread about a children's football team being referred to as 'boys' when there are female players and how this filters down, will this girl continue to feel welcome when the language used implies she's in the wrong place.
I'm learning joinery, male dominated course. No female teachers yet. Even student services came into the workshop and said 'Urgh, it smells like boys in here' (It doesn't, it smells like wood, and wood smells awesome!).
When our teacher calls us together, it's 'Team'. Come on 'Team', okay 'Team'. It might seem like nothing to someone else, but it feels like an Everyday Feminism thing for me.