Release 1.2.3 - minor bugfix release
PRs merged:
Thank you for your contributions! I do appreciate all the issue reports, etc. But if any further progress should be made, PRs are necessary, as I don't have infinite time to use on the project going forward, unfortunately.