re: #349 MandyManners
What do you want to do? Ban Thanksgiving and Christmas for federal employees?
Wouldn’t congress actually have to do that? IIRC, they made Presidents day for both Lincoln and Washington (instead of seperate) so the could add MLK day.