Some notes around proguard