Ask HN: What would be a better name for TeXmacs? | Hacker News Reader