Okay, we've added these topics. We actually manually search for a list of topics and then add them to algolia. The topics you mentioned should be indexed now.

Okay, we've added these topics. We actually manually search for a list of topics and then add them to algolia. The topics you mentioned should be indexed now. It's just a quick side project we did inside the company, if you're interested how it came to be, we actually did a short writeup here https://medium.com/@magicsandbox/an-impromptu-side-project-4ac83617e94e https://medium.com/@magicsandbox/an-impromptu-side-project-4...