Tor Browser for Android not getting updates via GP repo on F-Droid since version 13.5.3

We have received a couple of reports of this on the Tor Forum, https://forum.torproject.org/t/tor-browser-for-android-not-getting-updates-on-f-droid-since-version-13-5-3/15142