… 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.