What’s depressing is that the number of people trolling him today is probably higher than the total number of people who actually contributed something (even just a bug report) in 30 years.

There’s no upside for him, even if he retires they’ll probably continue harassing him.