As a scandinavian who has worked in Brazil for two years I can confirm that Brazilians do in fact call two identical seasons differently based on whether it’s closer to Christmas. I usually worked the night shift, and in July-ish, my Brazilian coworker usually wore a hat while on the backdeck while I was sweating like a hog.