Re:Ask HN: What would be a better name for TeXmacs?
by PaulHoule on Saturday January 15, 2022 @05:40PM
(#29951156)
Dude, I've been telling this guy this for weeks and he's finally gotten it. (It's one of several experiences I've had on HN this week of actually getting recognition from people which never seems to happen on online forums!)
He doesn't need to get any grief over this, he needs our help moving forwards.
He doesn't need to get any grief over this, he needs our help moving forwards.