Please take a look at the following comments thread https://news.ycombinator.com/item?id=27820466, in particular at https://news.ycombinator.com/item?id=27822662 where Massimiliano Gubinelli (one of the main TeXmacs developers) explains the issue.