KotDB:  I assumed that the bug would disappear this weekend, when the US would have gone on DST if the Congress had not lost its mind, and Europe also goes on DST (if I am not mistaken).  For this reason I did not attempt to reset the time to GMT -7, since that would introduce a new error at the weekend.

I hope Fencer will not be burdened with the task of redefining GMT, which seems pretty well defined as it stands.

I wouldn't waste time trying to change the way the time displays for the remainder of this week.  I just wanted to point out that, due to a change in US DST, whatever algorithms were in place to fix the time display were not displaying the time correctly. 

As a further note, the US government is required to produce a report on whether the early switch to DST (and the late switch back to Standard Time) actually saves energy.  If it does not, then we will revert to normal DST in the future.