I've now checked, and it was originally a form of Henry, but can now also be a diminutive form of any name beginning with Har... So we're both right : - )