Merge pull request #9613 from JosJuice/android-delete-game-ini-more Android: Expand the game INI deletion prompt
