[it_does_follow]

I'm surprised this argument is so hidden in the comments. All things being equal I would prefer permanent standard time, but it's pretty obvious that a very rational way to solve this problem is just choose whichever setting we use the majority of the time.