I lived once in Ecuador. Pretty much the whole year the sun rises at 6am and sets at 6pm. I very much prefer Spain: in summer the sun sets at almost 10 pm at its peak… best summers of my life. I lived in Poland once too, where in winter the sun sets at 3pm: I wanted to kill myself

9-5 aren't sacrosanct. When the 9-5 song came out approximately nobody worked from 9-5. Standard working hours were 8-5 with an hour for lunch. Starting at 7 was far more common than starting at 9.

The song is about a secretary who didn't get a lunch hour, so started an hour later than her boss.

Tech workers generally start at 9, but that started decades after the song came out.

> because I have the apparently weird belief that noon should be at noon

But why? Because it's not even in standard time, except for around 1/60th of a time zone at best, if you're rounding to the minute.

If solar noon jumps from being at 11:35 in standard time, to at 12:35 under DST, at your coordinates, what does that matter?

Noon was at noon before the railroads. But ever since time zones were invented, that's no longer been the case.

Digits on a clock are just a number. If you care about when solar noon is, just memorize it.