That is what I based my statement on. Cachy has consistently 1000 more page hits compared to mint.

Isn’t mint the most used distro after like catchyos?

Not really a mobile gamer and i either solve riddles on websites or puzzles like sudoku. And I only use open source. I think mindustry and unciv are too complex for a phone game, I like feudal tactics, but it gets stale after some time

Nothing of value has been lost