So it appears that the ‘old’ code that they guy posted and I am using does not work in IE10. But for me that doesn’t matter, and for the majority of my site visitors it doesn’t matter, only the minority of users are using IE. Also, it appears that maybe it is not updating the ads. Maybe another day or two will prove that right or wrong, or maybe a reboot, or closing/reopening my browser (which I don’t do too often).
At any rate, a bit more testing is needed before I can say it is fixed.
As for the adsense forums, so far one response, and it is no help -
“You are allowed to make minor adjustments to the code if the kind of html you are using does not pass w3c standards.”