Also, sorry for radio silence - WiFi was cut off after a dispute with the ISP so I was rationing my data carefully. All sorted now.