I am wondering if there is a reason behind google not archiving
texmacs-users archives? This would be a nice thing to do because,
searching in google is more easier than searching at http://lists.texmacs.org/wws/arc/texmacs-users . Please let google
archive the archives if possible.