Update to the docs for the new public VirtualBox (VDI) option