Improve Search

[plumbis]

The currently implemented DocSearch isn't very good.

Some current problems:

• The API docs aren't index because the records are too large
• Searching for specific code terms like MatchInteger don't provide precise results (takes you to the page, but not the heading)
• Search results are so truncated that it's hard to know if the result is the one you want

Fix this is going to require rebuilding our index and the search results panel.

[plumbis]

This is a big challenge and outside my ability. I'm not going to close but I'm deprioritizing.