We do this mostly because Docker is the only provider that using it requires some amount of Docker-specific knowledge. VirtualBox, VMware, etc. kind of "just work". It is not the likely case that someone does a `vagrant up` and expects Docker, at this point.