Hi,
just today I wondered why I did't see the update in Android. Turns out there are currently two versions (3.9.x and 4.0) in Play store. When "checking for update" in the 3.9.x version, it tells me it is the newest version, but when I manually searched the Play store, I found version 4.0 with a different name.

But you did a great job on the Android app. Finally batch tagging works :-)