v1.3.0 (Jan 1, 2026)

Happy new year! A few small updates in this release:

• #101: comments at the end of a file format more nicely now
• #103: added support for -mlb-path-map FILE option. (Thanks @ratsclub !)