Earlier quoted context omitted.
No thanks, Disney has already done enough to fuck over the public domain via copyright. We don't need them using trademarks to fuck over developers too. Besides, I doubt their lawyers would want them to dilute their trademarks like that.
Trademarks are only within a field. If Disney wanted to open-source something and trademark its name, they'd have to get a new trademark
That didn't stop Whatsapp from using DMCA to get a GitHub repo removed: http://boingboing.net/2014/02/21/whatsapp-abused-the-dmca-to.... The point I'm trying to make is that Disney's lawyers have already proven themselves to be snakes (or whatever is the vilest creature you can imagine) regarding their intellectual property. Giving them character names to work with would not be in developer's best interests, even if the original comment was meant to tongue-in-cheek.