===> Cleaning for TeXmacs-2.1.2nb8