wiobber
commented
1 month ago - all kind of fixes/enhancements
- integrated the changes of Michal (and thus this merge should obsolete his merge-request)
- make it TeXLive 2024 compliant..
- CHANGE GENERATION OF TIKZ PICTURES !!! ( use TeX4ht, and no longer tikzexport-from-tikz-itself)