So the new white house website has done away with the
Martin Luther King, Jr. Federal Holiday page.