Thanks so much for this! I saw the hardcopy set in a used bookstore in Menlo Park decades ago, wanted it badly but didn't have the $300 at the time - and when I

Thanks so much for this! I saw the hardcopy set in a used bookstore in Menlo Park decades ago, wanted it badly but didn't have the $300 at the time - and when I finally did, of course the set was gone. It is a tremendous resource.