Comment by rwmj

Maybe, but better if the trademarks were released to the public domain (however that could be achieved).