I'm ashamed to admit that after many years of programming, only now while reading goodreads.com/book/show/2185…, it occurred to me the term Library originates from the filing cabinets of punched tapes.