Name the company, name whether they gave you the holiday off today.
Feel free to mention anything weird like a remote day or half day.
Yes its a federal holiday, but 2 major tech companies I used to work at _did not_ give us the holiday off in the first few years it was recognized
