My team was up until 4:30AM PST going through each of our production servers, one by one, implementing the fix. It’s just deleting a single file, but it’s INCREDIBLY time consuming. We had it easy though. The help desk folks who have to deal with user workstations are getting HAMMERED this morning, as there’s no way…