search.f-droid.org domain name for fdroid-website-search
@uniqx's search has been working well, I think we should make it official. It is hooked up to the f-droid.org search box, but it is running on the staging.f-droid.org domain. @uniqx proposed using search.f-droid.org for that.