Log Message:
Update to 1.0.5.12, provided by Geert Hendrickx in PR 31569:

* Several improvements in LaTeX converters (1.0.5.12).
* User preference for Html converter to export formulas as images (1.0.5.12).
* Several minor improvements in the graphics mode (1.0.5.12).
* More options for the TeXmacs to LaTeX converter and updated documentation \ 
(1.0.5.11).
* Several bug corrections and minor improvements in LaTeX to TeXmacs converter \ 
(1.0.5.11).
* Faster and more portable help searching (1.0.5.10).
* Added a plug-in for Mathematica (1.0.5.10).
* Use Type 1 EC fonts by default (1.0.5.10).
* Distribution of several font packages with Type 1 EC fonts (1.0.5.10).
* More reliable quoting routines and related bug corrections (1.0.5.10).
* Release a-version of graphical mode (1.0.5.9).
* Improved exportation to Html (1.0.5.9).
* Improved table importation to and from Html/MathML (1.0.5.9).
* Further improvements in Maple interface (1.0.5.9).
* Added a new interface with Maple (1.0.5.8).
* Added converters from and to MathML (1.0.5.8).
* XML parser now expands entities which are defined in the document (1.0.5.8).
* Added an option for reverse video mode (1.0.5.8).
* Further improvements for the upcoming graphical mode (1.0.5.8).