Those all got written permission to use the name. See a similar discussion from a few days ago: https://news.ycombinator.com/item?id=15991785 https://news.ycom

Those all got written permission to use the name. See a similar discussion from a few days ago: https://news.ycombinator.com/item?id=15991785 https://news.ycombinator.com/item?id=15991785