That’s not that trivial, but would be doable. Ideally by feeding all indexes into a database – or merging them in a way they retain their origin. Afraid to make this come true would require several full days of work – so without funding it’s not likely to happen anytime soon. I’d really like working full-time on projects like that, but I also have to make a living…
Guess I’ll have to create a separate “search page” to not bloat the list with all those filters. On small screens, it’s already bad enough now without adding more filters.
Exactly. Only devs speak SDK. Us mortals find that hard, and much better go by Android Versions instead.
Nice, thanks! Note that next to the (old) XML-Index there’s also the (newer) JSON v1 index available for several years now, holding even more details. Same location,
index-v1.json or, if that does not exist (F-Droid eg seems to not hold it plain-text),
index-v1.jar (which can simply be unpacked using
unzip or any GUI to that).