People have sent in reports of board slowness, and I have been seeing out-of-memory issues on the server, requiring a reboot. Looking into the logs, the problem seems to date from May 3rd at 15:16UTC, and appears to be due to Huwei bot traffic. I have attempted to block the traffic. Hopefully the board will be more performant going forward.
Maximas gratias pro beneficio tuo vobis. I’m still having problems with the search function, however. The error message says that the server can’t handle the request.