This copy is hosted in (one of) the old homedir of Karl Ramm, who passed away not so long ago. I believe that he would be tickled and mildly but pleasantly surp

This copy is hosted in (one of) the old homedir of Karl Ramm, who passed away not so long ago. I believe that he would be tickled and mildly but pleasantly surprised to find the link on HN. To whomever posted it: thank you for reminding me of an old friend.