implements search with the help of the small and fast FlexSearch.js.

You must have Javascript enabled to use this function.

Loading search index…