FWIW, I clearly remember Oscar Brand endorsing the "Drimmin Down" origin on his radio show about 1966. I can't say for certain that he did or didn't mention Lead Belly's involvement, but he attributed the melodic source exactly as Blackcatter said.