Having posted this, I decided I'd better time IE response to opening a web page, and now everything seems to be fine. I wonder if there was a scan running in the background earlier. I will monitor this over the next day or so. I was on Task manager, and there didn't seem top be any background activity going on though. Strange.
OnePlus 5 review