You can do search, go to any catalog in Downloads and start typing a pattern, it will search withing apps name and description.

Extras and devel work fine for me, assuming that everybody is trying to get pr1.2 they may be down from time to time, so try again later.