Version 0.3.1

<
>
November 24, 2022

This release fixes a potential issue within the text rendering.
Note that 0.3.1 works with savegames of 0.3.0.