Comments aren’t appearing at the moment.  Apologies to those who have commented: I’ll liaise with the IT people and try to get it working again!