I think that .dll patchers which enable 3rd party themes should fix the issue, not MS since they do not support any kind of patching of .dll files.
IE 9 works perfectly fine with the patches. I don't really care if they fix it or not now. I just wanted to see what it is like. My intent was never to use IE 10. I do not even use IE 9. I have now removed it from my machine.