re: #120 Shiplord Kirel

Not entirely. The diminutive form of “Randal” would usually be “Randy.” It’s a safe bet “Rand” was chosen for its associations, possibly with the selection of the original name.

I worked with a Randal. He went by ‘Randal’