GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
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?