However, yesterday I upgraded to 0.14-o-2021012798648-dev-albus, and the Exposure Notifications are no longer listed under the mcroG settings. There is nu update available for the microG Exposure Notification version under apps, and the Coronamelder app says “Google Play Services is still being updated”.
I didn’t see 0.14-o listed in the release notes, that’s why I didn’t mention it.
Since the instructions and the APK download links to reinstall the microG Exposure Notification version are the same for 0.14-p and 0.14-q, perhaps they could be applied to 0.14-o, too?