Today we celebrate Presidents’ Day in the United States, a holiday originally known as George Washington’s Birthday. (The Heritage Foundation suggests we should still use that moniker today; technically the name never changed, although I suppose that’s an epistemological debate well beyond your humble blogger’s ken.) Whethe ...