I agree and am going to partition these threads so that there's a place to remember Bob Lee that isn't an argument about current affairs.

To facilitate this, I've taken the liberty of converting your text here into a new submission (https://news.ycombinator.com/item?id=35457341) and am going to move the relevant comments there. I hope that's ok with you (and if not, let me know and I'll rework this).