Progress report 1
I bought a suitable RGB to HDMI converter box, made up a cable, and plugged everything up. No smoke so that was good. Practically none of the keyboard keys worked at first, so it needed a liberal dose of switch cleaner in each key switch. After this they sort of worked, but there was a lot of key bounce. It may improve once the excess switch cleaner evaporates. Hardly surprising when the keyboard has not been used for ~35 years.
Anyway it was enough for me to type in a very short BASIC program with FOR NEXT loop, with screen print out of iteration and some maths on it. So the computer and motherboard seem to be working OK.
However my self made cable RGB to SCART is clearly not correct as I have no on screen colour output. So next task is to see if I can locate a pin assignment for this output, and maybe get a new connector cable made up.