It would be nice if the compilation would make an additional file "mapping.txt", containing the data mentioned by Google during APK upload: I fully realize we can do this ourselves using the existing ObfuscatorMap.txt, but life is short and this would probably save quite a few people time...