Improved MermaidJS diagram rendering
Bug fixes, library updates
Update to JDK 20, address image issues
Fix broken images
Bug fix release
Add command-line option for font directory (unused), add default directory suppliers
Adds repeat export function
Open non-text files using external application
Re-install typesetter if themes are missing
Upgrade to latest typesetter, themes, and make HTML well-formed
Ensures HTML is well-formed before XHTML parsing
Update installer script
Fixes cutting at end of document
Fixes diagram rendering due to content-type/magic media type detection
Add words to lexicon, add i18n spellcheck
R expressions inside TeX
Rebuilt with ignored directory
Performance improvements
Upgrade JDK, KeenQuotes, fix context menu focus
Suppresss caret ID attribute upon export