I did not realize Harold died. He was a great man. I do not know if he was right about the far-out stuff, but he had wonderful ideas and he expressed them well. He had many conventional accomplishments and a distinguished career. I never met him but I have heard he was a nice fellow.
I am glad someone preserved his papers online. - Jed
