Someone should really make a list of US Federal Holidays. You would think that data.gov would have something like that.

As many have done before me, I ended up making my own table. None of the solutions I found online addressed the move of fixed-date holidays to prior Fridays or following Mondays. And most of them had Groundhog Day in there like that actually means anything outside Punxsutawney.