Name changes are not done unilaterally. Whenever a name is deemed inappropriate by the team the player is contacted and given the chance to choose a new name as well as the justification for the name change. There are plenty of gray areas and whenever we find ourselves in one, the decision to change or leave a name is made as a team. Feel free to disagree with our ruling but keep in mind that we take name changes very seriously.
No GM would just change someone's name just because. Google is known to provide results for virtually anything so they are not taken lightly and other sources are consulted (online dictionaries, wikipedia, etc.).
And btw, that character you are talking about had the name of not just some obscure play. Google it. The fact that you have never heard of something does not make that thing any less well-known or important. She understood why the name had to be changed and agreed that it was necessary to do so. She was also given plenty of time to choose a new name. It's the players' responsibility to choose a name that complies with the naming policy.
Mathy: If you have any doubts about google results or any other search you may have done, talk to a GM for final clearance (in-game, on IRC or via forum PM or email).