Did folks ever agree on what the tune is? And does it matter? (Should we just sing whatever tune seems to fit?)

Is there a MIDI of any of the usual tunes for it?

Genie