It's wonderful of you to take an interest, Oldfred. This is what I e-mailed Yann.
Boot Repair told me:
"Locked-ESP detected. You may want to retry after creating a /boot/efi partition (FAT32, 100MB~250MB, start of the disk, boot flag). This can be performed via tools such as gParted. Then select this partition via the [Separate /boot/efi partition:] option of [Boot Repair]."I didn't really understand it and, did as I was told - or tried to. I hoped it would make more sense when I looked at gParted. I found the Boot Repair Menu and its gParted menu item. Only it didn't open, I tried twice. Then I typed gparted in XTerm. It said something about root privileges. I tried "sudo gparted" gParted wouldn't start because there was a segmentation fault and I shutdown my laptop. It occurred to me that Boot Info might be useful so I booted into Boot Repair 64 bit again. Boot Info said to e-mail you http://paste.ubuntu.com/7227472/. Hope you are able and willing to help. I mentioned the different sessions in case you were expecting to see the gParted in the Boot Info text.
Boot Repair was booted from a USB flash drive which also had an old Ubuntu Live CD on it. I used syslinux on it to make it bootable. It worked in that I was able to boot a trial of Ubuntu but not Boot Repair. I deleted everything except the syslinux and boot-repair-disk-64bit.iso. Boot Repair wouldn't boot. I used unetbootin to make it bootable and, it worked, hope this isn't what prevented Boot Repair working.