Thanks Steve & Reinhard

Mike did not sing the verse mentioned but obviously wished it to be sung.

If I have augmented in only a very small way something that Mike thought important I am deeply grateful to him.

I have never been a great scholar of song origins ( I have always been far too busy in other directions) but would happily debunk some of the fanciful theories I have heard put forward over the years of the meanings of both words, verses and whole songs.

I exclude present company from this observation.