@Gargron @Mastodon @fdroidorg OK, thanks. It isn't that I don't want to use Play Store. I wanted to support the Open Source project. So this thread has already brought the polite ping to the attention of @fdroidorg . It looks like their automated build got stuck, and maybe they needed to know about it.