Federal employees in the Washington, DC, area are entitled to a holiday on the day a President is inaugurated on January 20th (except as explained below) for each fourth year after 1965 (see 5 U.S.C. 6103(c)) (i.e., following a Presidential election)—if they would be otherwise scheduled to work on Inauguration Day within the “Inauguration Day …