Thanks for the info. I tried the search function but received an error.
Jut one minor correction: archive.org is an independent nonprofit, not something google is responsible for.