True. People I correspond with in the UK have the tendency to just say "1PM GMT" all year round, and I have to infer they're actually referring to "whatever the local time is in the UK at the moment", not specifically UTC+0 in summer.

The UK had "Double Summer Time" during WW2, and I believe again in the 1970s. Granted that was before computers but still.