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