The holidays include Columbus Day, Veterans Day, Martin Luther King Jr. Day, President’s Day, and D.C. Emancipation Day.

Next spring, all neighborhood libraries will open at 9:30 a.m. on Thursdays when the flagship location closes for three years of renovations.