Very sad to hear of Larry Trask's death. I've read a few obituaries and will post links soon. Here's how the news was reported on the website at Sussex.