A simple/single F-Droid patch could be enough.. Such a simple change doesn't have to be a huge maintenance burden.