We are going to ship it this month. We wrote some code and then realized that it'll probably be the best if we can somehow integrate Algolia here. We already use it at Hashnode and it works great. We are exploring our options here, but this should go live soon.