v0.7.2 — First-time help overlays

Easing newcomers in, with a helping of mobile polish.

What changed

• First-time help overlays now guide new players through the basics.
• The difficulty picker is reworked into a stacked-card layout.
• General mobile polish.