Yes, we changed it to try to stave off off-topic discussion about the name.

The world is a big place. I bet this kid had no idea that the name was "taken"—either that or they assumed their project was so obviously different that no one would care.

Little did they realize that internet discussions go into seizure about names under all too many conditions.