Magic! I added some settings from that link, and tried swapping the mini-HDMI lead over into the other port and YES! success!!!
Please do not post a support request without first reading and following the advice in https://retropie.org.uk/forum/topic/3/read-this-first