Patch notes for version 88

Fix for Battlements not always being beatable

Fix for multiplayer level switch loading

Fix not being able to join because of mismatched mods even though the mods were correct

Fix profiles menu crash when upgrading from an old-style savegame

Fix for Linux build