v0.9.19: Polish, Bug Fixes, French and German

v0.9.19 is a short follow-up to v0.9.18: a round of UI polish and bug fixes on top of the new History workflow, plus two new locales — French and German — bringing the UI to six languages.