I believe it may have been.
I've known someone since school with the surname Cumberbatch, and we used to (and often still do) call him Cumbersnatch/Cuminhersnatch and lots of other 'hilarious' schoolboy nicknames. His name isn't Benedict, but his middle name is Richard...