Tiny refactor: eliminate unused <uses-sdk> from AndroidManifest.xml (gradle build system specifies uses-sdk in build.gradle)