Oh, I definitely don't want to discourage anyone from using TeXmacs. It is a great piece of software. I was only explaining my thoughts on why it's not more popular. I think a lot of people would like it if they had ever heard of it.