Finally a positive use for LinkedIn - a lot of Tributes to Bob over there:

https://www.linkedin.com/search/results/all/?fetchDeterminis...