The Algolia search was restored quickly yesterday (thanks!) The bot traffic, that picked up after the JS library upgrade last week, is under control too now. So we hope we don't run into this again.