bug: outdated search data #669
Description
Description
As mentioned earlier in issue #667, the algolia search tool does contain outdated page data even after changes are made to the website. My proposed solution is that we should trigger the indexing feature of the search tool whenever changes are made to the website (at deployment) so that the data is kept up-to-date on the spot when changes are first made. I will think of the options on how to carry this out and follow up with a PR when I can.