src/TeXmacs/misc/mime
