🔬 All discrepancy images are SVG now, for HiDPI
✨ Mark text as bad, to draw attention of other editors
💄 Preparations for more algorithms of pseudo-localization, visible to you as radio-buttons in settings
⚙ Console: small fixes in command-line parsing