VirtualBox 5.2.18 was released yesterday.
I’ve installed this on my Windows 10 laptop and all seems OK. In fact, it seems to have made a difference to an annoying timeout I was seeing between some Docker containers running inside a VirtualBox VM. I’m not sure if this was just a fluke of the reinstall, or a real fix. Either way, it’s welcome. 🙂