I see there is an F-Droid compatible repo linked. Is there a reason it has not been submitted to F-Droid proper? Sounds like a perfect addition to the default repo.