On Oct. 25, 2001, September 11 became a holiday, thanks to a resolution sponsored by this charmer. Not a real holiday, mind you, rather the kind where President Bush encouraged “employers to permit their workers time off during the lunch hour to attend the noontime services to pray for our land.”

It was a perfect American solution: a holiday you don’t get off work for, a remembrance of sacrifice that requires no sacrifice whatsoever.

The next year, Bush changed the name of the holiday to Patriot Day. Calendars say Patriot Day. Crayola offers a page of warmed-over July Fourth activities to complement it.

And that’s about it. Tomorrow, heads will bow in remembrance, somebody will play “Taps,” and everyone will call it “September 11th.” No one, except maybe the president and a few maudlin gym teachers, will use the dipshit term “Patriot Day.”

Nice to see the marketplace of ideas actually working once in a while.