And they just broadcast they're restarting to fix. So this post has served its purpose (or something else served that purpose; either way, this post is now resolved).