Ask HN: Renaming jade due to trademark, is it really necessary?github.com/pugjs2 pointsfibo10 years ago