[jlmcgraw]

Since devices that automatically set their own time are so common now I’ve sometimes wondered why we don’t try moving the time forward/back by some smaller increment each day instead of a full hour twice a year.