Has "Washington's Birthday" been changed to "Presidents' Day"?

Contrary to popular belief, neither Congress nor any President has officially changed "Washington's Birthday" to "Presidents' Day." To learn more about this federal holiday, celebrated February 20, 2012, visit the FAQ at USA.gov....