Thanks.

There was a time of course when you could pull my books down from archive.org as PDFs. Perhaps that time will come again.

I'll look into libgen.