Correct oldIE-related comments, revert some workarounds. Close gh-1207.