> For your case, however, they have aliases. "US/Pacific" is an alias to America/Los_Angeles", as is "PST8PDT". Set and forget.

Except when you can't forget, as in the original case for this blog post in the first place.