That temperature shift ended up lasting only until August, and then there was no notable shift for a full year… So it’s probably not a seasonal thing.
Here’s the current plot of the weekly min/max/median of the daily morning readings, with periods of travel (all with a -9h time shift) in yellow:
