Following a good run yesterday, I can report that the fuel efficiency has definitely increased, and quite noticeably too.
We have been doing a regular run up to Sheffield in recent weeks (every Saturday) and I have always put the cruise on 70mph and let the car drive there itself.
Recently, I have averaged about 35-36mpg on this run with the temp gauge on 70C.
Yesterday I did 42mpg with the temp gauge on 85C, which is definitely back to normal.
The gearbox shifts seem smoother to me now too, but I can't explain why that might be, so I am putting it down to 'placebo effect'.