As a preliminary matter, did you know that “Washington’s Birthday” never really left – that it is still the official name of today’s holiday?