Autumn has arrived here. Time to make sure the heating is in good working order, physically migrate CI jobs into the home office to help keep it warm, that kind of thing.