October came, and with it, colder weather, as if it was following the calendar. A frosty morning, and a chilly afternoon. It’s time to turn on the heating.