Bob is short for Robert, too by the way.

I make a point to mention that my cat’s full name is Robert. I enjoy the reactions: person either looks at me like I’m a moron for thinking this is something worth spending the energy to say out loud, or they really enjoy it. I digress.

Yeah, I did know that. However "Richard" and "Dick" are much more distant in some sense... I had no idea.

Totally, thanks for letting me use your comment to digress about Robert.