Made removeHighlight work in IE. elem.remove() was experimental DOM API

node.remove() is experimental and not supported by Internet Explorer. See https://developer.mozilla.org/en-US/docs/Web/API/ChildNode.remove#Browser_compatibility

The fixed code works in all browsers.