Happy Presidents ... er ... Washington's Birthday

Intrepid American Copy Editors Society member and San Antonio copy desk stalwart Dan Puckett reminded us on the ACES discussion board that today is really Washington's Birthday, if you want to be correct as to the federal holiday.

His explanation from a few years ago.

The AP weighs in on it, too:

Presidents Day: Not adopted by the federal government as the official name of the Washington's Birthday holiday. However, some federal agencies, states and local governments use the term.

So pick your stance: Accurate or ecumenical -- or, depending on where you live, perhaps both.