Thanks for the replies.
Either (or both?) of you comments could be right.
Now I find myself looking forward to these tyres wearing out, so I can try a set of four "real" LRR tyres.
I filled up today, for a result of 23.59mpg. Another small increase, maybe as I get used to the better coasting?