They ended up giving us premium for free (I think: the dashboard is pretty bad so it's hard to tell), so I'm replacing the algolia app with another one.
* develop: (35 commits)
don't spin pause icon on runs
delayed overlay and autorun spinner
playground renders code on second pass
executionId for code re-runs
spinner in autorun mode; autorun refactorings
increase modal width
remove toggle animation
hideOnScoll navbar on website
smooth scrolling when scrolling back to item from modal
improve tooltip positioning
fix tooltip padding on website
close modals on escape key
change variable border color
smart modal positioning
fixes#872⬆️ Bump @typescript-eslint/parser from 5.30.6 to 5.30.7
⬆️ Bump @types/node from 18.0.6 to 18.6.1
⬆️ Bump mathjs from 10.6.4 to 11.0.1
⬆️ Bump webpack from 5.73.0 to 5.74.0
⬆️ Bump @testing-library/user-event from 14.2.6 to 14.3.0
...
