There’s no such thing as “Summer time”. What we have during winter is the astronomical time. Otherwise, I don’t know whether I have a preference. I guess we could switch them up every other year or so, in order to sunset any confusion in the morning.