@dang Can't this thread be titled "Vernor Vinge has died"? I feel like this is the usual title for those. With this title it's not obvious that the news is he d

@dang Can't this thread be titled "Vernor Vinge has died"? I feel like this is the usual title for those. With this title it's not obvious that the news is he died yesterday.