It must be regional. I wouldn't have even thought of it as possible until seeing this thread. I guess I could see a tomboy
Miranda looking for a better nickname and going by
Randy, but not
Randi, and I wouldn't expect random people to call a
Miranda Randi the way they'd automatically call a
Christopher Chris. (although randy means horny so it doesn't seem like a nickname someone would use on purpose)