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

How would that work? So anyone could release anything under the Commodore brand? That would be awful.