When I was young they were simply called “records”. Only much later, as CDs invaded our world, were they renamed “vinyl records” or simply “vinyl”. Suddenly the old records that we had put away in our attics and basements became something valuable, and soon our children were asking us if we had kept any from the old days, and where had we put them. Actually for me this revival began a few years ago when my son Afonso was still …