Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Thanks for raising this issue. At the moment, we're hyper-focused on getting the Typescript release out as soon as possible.
If you don't mind owning this, I'll send you the Algolia script and add it here to you can take a stab at this.
Let me know. Thanks again.