Docs: not necessary to run 'proguard' explicitly anymore