It’s a nickname, although someone could name their kid that if they wanted to. I don’t think that is very common though.

It’s like you could name your kid just “Bill” but most parents will choose William, even if they are never called that.