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 I pasted above is what it outputs for oldie, I didn't mention it).