Nice! FWIW during the lockdown I happened, by chance, to be in alone, far from my family, in the house where I grew up. Well, not alone... My C128 was there. After watching tutorials on Youtube as to how to clean and grease the disk drive, I found out that a good 1/3rd to one half of my 5"1/4 floppies from the eighties could still be read 100%.
So I'm not surprised he could use old disks, in addition to his printed listings, to get back on his project!