4pm and on. Messing up time formats and zones. Once again. Some issues are a nasty re-occurring source of fun, much as pondering what to do when entering or leaving DST twice a year anew - both trivial and yet not at all. On the other side of the backyard, people are leaving office early today. Some seem to have spent money on new air conditioners. Everyone else just resorted to sweating and coping. As far as possible.