Have you resolved the trademark dispute[1]?

[1] https://news.ycombinator.com/item?id=11570516