I also had these terminals at my public library much into the later 90s and early 2000s. Now that library and the terminals are long gone. Getting old is weird!
My old hometown's public library is still there. In the front lobby is a display of some of their old card catalog cabinets and drawers. Drawers I used to find books with the Dewey Decimal System. Now displayed like relics from a forgotten civilization.