“The $317 million plan, approved by the board on Wednesday, will be the largest renovation in the history of the [system’s flagship] building, which opened in 1911. … [The plan] does not dictate any specific future for the most hotly disputed unused historic space in the building: its seven football-field-size floors of stacks, which have been largely empty since 2013.”