Um, you mean they're not using it until November?

https://www.timeanddate.com/time/zones/pst

… I mean, I use it right now, if I have a timestamp in America/Los_Angeles that's between about November and March. Not all timestamps are right now.

Heck, my coworkers use PST all the time (ah, timezone pun?). One of these days I should honor those timestamps to the letter.

Yeah, and then it will be used again starting this November. It hasn't gone away permanently IOW, unless you know otherwise.

How about PT :-)