I've never been a big fan of registered trademarks in open-source software. By definition, a registered trademark's use has to be limited.