Horizon's Gate: Version 1.1.31: Naval XP details

It's been too unclear at the end of ship battles where the XP goes - especially when boarding is involved. Now, all XP is recorded and displayed at the end of naval combat. There are plenty of other changes and bugfixes…