Actual rustdoc does not support IE<9 and I think it should stay so (that is, if we want to drive the web forward).