The problem has disappeared. <div><br></div><div>It must have been either a browser cache issue, or a server cache issue (not sure if the source is pmwiki or apache), which flushed itself out.</div><div><br></div><div>Thanks for the help and sorry to have wasted your time.</div>
<div><br></div><div>Z.</div>