[laut]

You are right. I have heard that one before too. That one is sort of implicitly covered by this part in the blog post:

"CST is also used for: Cuba Summer Time, China Time, Central Standard Time (Australia). PST is used for Pakistan Standard Time and Pacific Standard Time. If you want a unique identifier for the time zone in the Pacific West of the USA it looks like this: “America/Los_Angeles”."

In this case the name of the time zone "people live in" is "Europe/London", not GMT.