Docs need search functionality

[twheys]

Please add a search field to the docs. This would make it significantly easier to find documentation about specific syntax between the tutorial, concepts, and other pages.

[x8lucas8x]

Makes sense. Docusaurus can actually be integrated with algolia for that.