Actually is is a form of the French
Henri (it became
Harry when the English tried to pronounce it). I would not hesitate to use
Harry as formal name, if I liked it better than
Henry.
So what if people use it as a nn for
Henry?
Jack used to a nn for
John but is used in its own right now.