I am running Windows 10 Enterprise 2017 (so not really a legacy windows). I have Virtual Box 5.2.x installed and running, and I am not inclined to give it up yet. Now I need to do docker development (build new docker). So I am also facing the same question: Docker for Windows or Docker Toolbox? BTW, I am behind a proxy/firewall.