Way back in November or so, when that first chill hit and you found yourself sloshing to work in freezing rain, you might have regretted that you didn't make the most of Summer 2023 when it was here — ...