I have plenty enough vacation that I could have easily taken the day off, but it would be a waste of a vacation day. At my workplace, people taking off Fridays after Thursday holidays is so widespread, I pretty much have the entire office to myself, so its almost like a “free” day off.
So I diligently went into the office today, only to discover that I was the only one foolish enough to go in. My calendar was full of PTO notifications from several co-workers, while I know others were working remotely. So I sent an email to my manager who told me to leave at noon, so I did. Yay.