Wrapping up our constant coverage, the Columbus branch of the NY Public Library finally reopened today after over two months away, to little fanfare. Good to have it back.