AndroidManifest.xml: prettified