_XDG_CACHE_HOME/
_TEXMACS_HOME_PATH/
texmacs-*-manual.*.pdf
README.TeXmacs
plugins/coq/bin/tm_coq
