===> Cleaning for TeXmacs-2.1.2nb5