@tsvenson @dabeaz "off the chart"? I didn't see his movies, I think. I know of the many jokes representing him as some ultimate force. (Which seems to always come with positive connotation.) I know he died recently. I didn't hear from him otherwise, or his activities in last decade or so. What am I missing?

@tsvenson @dabeaz hmm.. didn't hear about that. Without an explanation in his own words, I wouldn't judge. Considering how extreme the left got with ideas such as the (contemporary) wokeness, which I think fails to hit the goal they long for, you don't quite know which underlying principles are guiding his motivation.