I am sorry for posting this to the Bugzilla site. I had intended sending it to the forum (which I have since done so). It is good to have a common login for bugzilla and the forum, but it caught me out this time. I have no evidence that this is a bug yet.