if you're interested, try Antimine on Fdroid, best minesweeper app I've found, and it's open source
Good recommendation, thanks. Another game on fdroid that's worth trying is Mindustry, but it's a totally different kind of game.
Thanks for reminding me I have this installed. I've spent all day playing this instead of doing my work.