https://communityovercode.com/2017/11/legal-issues-software-...
And previous posts on the basics and a timeline. It's complicated - both because trademark law is complicated, and because there are clearly personalities involved who have a long history together.