2022-10-19: The Search Engine Is Down

This issue has been resolved!

A sustained DDoS attack brought the server down for about a day.