It turns out Release v2.5.1 also introduced some new bugs… so now yet another update is available. Again saves are not compatible even with v2.5.1.

This is a smaller update, but with some important bug fixes and various misc changes.