Eh, I don't think this is a bad name collision. Nintendo doesn't really talk about stuff like this publicly, and searching for it is pretty much reddit + hacker news threads.

I'm sure there's a lot of internal code name collisions.