Neat! Can people in the know share their experience with TeXmacs which is supposed to do very similar stuff ?