I was super happy when about 10 years ago I went to the local public library near my parent's house and they had installed Linux onto their card-catalog worksta

I was super happy when about 10 years ago I went to the local public library near my parent's house and they had installed Linux onto their card-catalog workstations. I hope it worked out for them. I know it was more likely to perform better than another OS on the same hardware.