Faster API discovery

Search and category filtering on the discover page are now noticeably snappier, with improved relevance for agent-oriented queries.