Thanks. The fix is still in queue for the next server deploy. I usually do them early in the morning to minimize the chance of a "REQUEST INTERRUPTED" event eating someone's IC post, but I keep waking up late and 175+ people are on.