The blue clicky is now working. Someone has worked very fast.

We still don't know where the "brave sailors" words came from. Or how it came about that the text with the music in the DT has the usual words, the "brave sailors" ones.