Thanks for packaging sgt-puzzles!

Upstream has just added a new mode for Mines, with non square grids¹, and
it would be nice being able to play it with the packaged version (plus I
believe that there are a few general improvements, including some that
feel promising for usability on mobile devices (from around December
2025)

¹ https://hachyderm.io/@simontatham/117203035323163040

I couldn't find info on whether you have a fixed pattern for updating
this package: if you have one and right now it's not the time for it
feel free to ignore this bug