Full text search

[rufuspollock]

When on the site I want to search for pages (or subheadings or even general full text search) so that I can find what i am looking for quickly

Classic ctrl+k behaviour would be nice.

Acceptance

• [ ] Search in navabar or other suitable location to quickly find pages (by title)
• [ ] Bonus can search for headings

Can take inspiration from standard modern docs websites e.g. https://tailwindcss.com/docs/ (though note this one is sidebar whereas we probably want in main navbar)

[rufuspollock]

@olayway one comment here is that i'd put this after doing #152 and #153 ...

Also for this one which is a bit complex first thing should be some proper analysis with a suggested approach ... (PS: did some full text search work in the ecosystem project and did some research there which we could look at)

[olayway]

Sure @rufuspollock. I'll be working on #152 and #153 now.

As for this issue, I was thinking about using algolia since it's quite popular search as a service (and I'm guessing we don't want to spin up our own backend for this), reportedly relatively easy to start with, and has a pretty generous free plan (up to 10000 queries per month). But I'll do more thorough research (and I'll take a look at the ecosystem project) and leave the analysis in the comment to this issue.