Columbus Day… for real

It’s good to be a government employee. Who else gets Columbus Day off?
...and so it was written, shenry at 10/14/2002 11:26:00 AM.
...and so it was appended with .