Comment Comment by jakub_h This Bob Hoover? https://en.wikipedia.org/wiki/Bob_Hoover parent jakub_h 10 years ago