For questions about TeXmacs please try the forum at http://forum.texmacs.cn/