Release 0.31.0 with important bug fixes

This release is a pure bugfix release that fixes some important bugs, especially a particularly severe one in the undo/redo system, and a bug that rendered moving items within the explorer tree unusable.

Also check out the release letter for a more in-depth description of what has changed with the new release.