I had no idea he was such a big deal. strange to see random people you've had conversations with show up in on the front page, much less an obit out of the blue.