WARNING: current f-droid version is not compatible with latest server version!!

No extra repo and f-droid basic repo does not have it. I took it through obtainium and so had to delete/download the app and redo my settings…