@jrobertson We used to have Double Summer Time. Those were the days!