GNU TeXmacs v1.99.13 is released | Hacker News Reader