re #428: Add JsMutationObserver polyfill for IE.