Ask HN: Renaming jade due to trademark, is it really necessary? | Hacker News Reader