Nah, they were taken down and a notice posted that you could buy them on disk for $10.00 "donation". That was done without notice, and had nothing to do with anyone's claims of copyright.
All the claims about copyright etc surfaced after they were taken down.
