I’m also curious about this, but it sounds like the library just finally caved to the city council, no legal traction required. They tried to add it into the lease but the public shut that shit down, so I’m really not sure what happened here