male given name, diminutive of various names. [A surname.]