Thread:SusannahWithAnH/@comment-14250-20130131135911/@comment-14250-20130131214215

I guess even though we know the longer names that these short names derive from, it is possible that parents may have simply given them the longer names to begin with.

Kind of like you could actually name a kid 'bob' instead of 'robert' and bob merely being a nickname.