Ask HN: What would be a better name for TeXmacs? · HackerTrans