Version 1.13 is live

This version brings some improvements to Random Play:

• Puzzles are now generated with more diversity. A new puzzle will usually differ in some way from the preceding puzzle, either in terms of size, or by the presence or absence of hidden sum values (as allowed by the settings).
• Better help explanations in cases where separate "Analysis" is shown (occurs only in Expert play mode).