But there’s still a core group of people willing to put up with that and use F-Droid, and having the app used by that group of enthusiasts is better than it not being used at all.

Considering this app is used a lot on older secondary phones, it’s actually very likely people who want to use it would go to the little bit of extra effort required to use it via F-Droid.