proposed renovation of the library