see #10033 - remove workaround for IE (not needed anymore for IE11 on Windows 10, works also for Edge)