Release 2.3.1 / 4 December 2023

This release addresses a couple of small bugs.

Your feedback is always important. If there is a new feature or an improvement you would like to see, let us know by completing our user feedback survey.