Origin of the name Randy

Diminutive of Randall, Randolf or Miranda.