recognize IE11 as Trident (not as Gecko)
fix typo in debian requirements
added export: pathname_installation to find the installation directory
handle (pragmatic) Content MathML containers (list,set,vector,matrix,interval) correctly
only save the LaTeX tmpdir when verbosity > 0; cleaner imports
Note that MacPorts not yet available