We've been able to stabilize the system - all bots should be responding as expected at the moment. We'll be monitoring the results for some time before closing this incident.
Posted May 16, 2018 - 14:54 PDT
Certain users might be experiencing slow response times from bots currently - our dev team is on the issue already and the system will be stabilized very soon. We will update this incident with further information.