Bot fleet is working normally again. The checks that opened this have been clear since, so we are closing it.

A few bots are currently stopped and need attention. We are looking into it.