src/TeXmacs/doc/about
