I think the origin story is a bit out - I recall a reference to it being sung in the 1950s. Reading between the lines in your link, I think it's more a case of the song being dimly remembered and then expanded. We'll never know the real origin, of course, unless you've got a TARDIS and an ethnomusicology degree...