I kid, changed it yesterday randomly. It's meant as a multi-layer pun, the usual name that is. Yoda and hodl and yodel (like singing), which leaves two pronunciations: yaw-dle or yo-dle. I let you decide which