content: It doesn't matter. They HAVE to enforce their trademarks and copyrights, otherwise they'll be on less firm footing in the future if something should arise. I strongly doubt they give even the tiniest fuck about the "port"; it's extremely niche, runs poorly and only runs on obscure hardware that only a very tiny amount of people know jack shit about. Is this port going to impact their sales in the slightest? No. Plain and simple. It's for trademark reasons, nothing more.