The search functionality is a bit non-intuitive, unfortunately. I think this is mainly because so many extension ship with no documentation, so the default search doesn’t find them.
So I think we need to consolidate the into a single search instead of five. Results should probably just show extensions and users. The info for extensions will still link to the dist page, of course. Maybe tags, too?
Wrong queue, moved to pgxn/pgxn-api#18.