Switched search to Typesense
In my opinion, this can now pretty much be merged. Things left to do:
- We need to decide whether we even want to have a privacy control for the search anymore. I don't think it's necessary.
- Ideally, we would want to move away from autocomplete.js but we have #24 for that, so not merge-critical.
- You need to fix your scrollspy thingy. I don't care whether that happens in this MR or somewhere else.