Great: that worked. (I’d already tried copying just the ‘defective’ file without success.)
I should add that what I don’t know is what to target to fix the problem, hence asking here. I’d imagined that the core WordPress themes would be ‘IE6-safe’, as my impression is that there is a large body of work on working round IE6 bugs.
I know, but he’s concerned that a lot of other people will also still use IE6 and so it is not just a local issue.