FWIW, they worked from CSH, HQ > I put them in raw as saved by majordomo then gziped format > on the ftp site: > ftp://ftp.diy-efi.org/incoming/diy_efi.gz > Also efi332.gz and gmecm.gz. > Hopefully, we'll get a searchable version soon.