Is this to work around you-know-which-browser not having a `document.onreadystatechange` listener?