Serves me right for trying to be cheeky at odd hours. An e-mailer: “That link was to Star Wars not Star Trek, but I’m sure this is “progress”

for you anyway. :-)”