This morning was the start of the PITA Daylight Savings Time season, so I went into the "Settings->Clock" menus to deal with it. Very conveniently, there was a Daylight Savings TimeON/OFF control. One click, and "mission accomplished".
Um, sort of. Except that the more prominently visible...