> still has Google Play Services and so the F-Droid repo should be a separate code base without GPS A simple/single F-Droid patch could be enough.. Such a simp

> still has Google Play Services and so the F-Droid repo should be a separate code base without GPS A simple/single F-Droid patch could be enough.. Such a simple change doesn't have to be a huge maintenance burden.