revert: remove docsearch

the current algolia docsearch implementation in the search is broken. it'd be much better if that's replaced by basic search capabilities sphinx offers by default.

however, this would require much more work and changes as the pages have not been re/worked for a while.