`search` for documentation area

[nobkd]

`search` for documentation area

[tipiirai]

This is on the back of my mind. Similar to RSS feed. We should generate a search-index.json with h1, h1 + p, h2, h3, h4 information on it everytime the size is pushed to production. The search widget would use this data to find what user is looking for.

[nobkd]

I've seen somewhere where Minisearch was used: https://lucaong.github.io/minisearch/
Not sure if we would use it, but maybe it inspires.
Would have to check it out myself, just remembered it, (probably also) because it is pretty small and has no dependencies.