@flypig
The bug I described no longer exists, so closing the bug report is appropriate in my view.
Whether the issue was resolved well or not is another story, maybe for another bug report.
But maybe you could please take a look at my other bug report 11917 and remove the “fixed” tag there.
I was probably a little too quick with my supposed solution and now I can no longer edit the initial post.