2023-01-15-2303-5782e29d

• Security: fix several buffer overruns / crashes when reading saved games
• Tracks: improved error indications (#266), prettier completion animation
• Guess: allow numeric entry of solutions
• Thanks to Ben Harris (@bjh21) for all of the above!
• Fix background changing colour when a physical keyboard is used (#481)
• Fix a rare crash relating to the progress dialog
• Minor documentation updates
• Target Android 13