Removing `Vagrant`?

Given we have transitioned to using Docker (both for lab and cw), I was wondering if there is any value in keeping `Vagrantfile` and the relevant information about it in `readme.md`? Removing these might make the lab repo look slightly less intimidating.