fix F-Droid Privileged Extension OTA ZIP build
This uses a new attempt to get org.fdroid.fdroid.privileged.ota building, based on https://gitlab.com/fdroid/privileged-extension/merge_requests/11
It also includes two commits that are minor fixes (description and typo)