The card catalog was slated to be discarded during a massive library renovation. Small wonder: It hadn’t been updated in two decades, it sat mostly unused, and it would cost hundreds of thousands of ...