HN comments for: Tom Lehrer has died