It’s been a surprising and energizing spring for the Washington, DC, library community as Mayor Vincent Gray publicly endorsed two of its top wish-list items during his March 27 budget introduction: a proposed $103 million overhaul of the Martin Luther King Jr. Memorial Library, the city’s landmark central branch, and a 25 percent bump in total system funding earmarked for keeping every facility open seven days a week.