Settings: AndroidManifest.xml: remove redundant stuff