I'd just remove this polyfill. I mean, IE8 usage is very sparse now and it is the last version on Windows XP which is almost deprecated now and we should encourage people to upgrade to newer browsers.
At least, we ought to be consistent with the other part of rustdoc (the snippet above is what it outputs instead of using this, I didn't mention it).