documentation update: using the VM