As part of our efforts to transition to owned hardware, some bots may briefly go offline and IPs will change.
This incident has been resolved.