Today’s Columbus-area library workspace is the main downtown library.

Brian Jones @jonesbp