Merge pull request #6225 from gwicks/android-game-settings Android: Implement user game-specific settings overrides.