WordPress/Adblock problem fixed

It was reported an hour ago in the WordPress forums that the Adblock problem I wrote about in “Has WordPress been tinkering again?” has been fixed. And having just re-enabled Adblock, I can say the problem does indeed appear to have been fixed.