The instructions for Wheezy work perfectly, thank you.
I needed the guest additions for the mouse integration, because I’m accessing the host machine with VNC, and VNC can’t pass through the right-control keystroke required (in the basic Virtualbox vm) to switch the mouse out of the vm to the host.
I see that the guest additions include “x11” so I’ll see if it is possible to get a vnc session directly to the vm.
EDIT: I mean that I know “x11” might relate to the x-terminal resolution. However, Virtualbox is supposed to be capable of hosting VNC sessions to guests, which i wasn’t able to do before on a basic vm, but maybe I can now with the guest additions.
EDIT: Two minutes later I realize that vnc to WHONIX vm isn’t going to be possible because… Tor! If it was possible it would represent a serious flaw.
EDIT: Now I’m thinking: Perhaps it might work if the vm, running a vnc server, initiates the connection to a vnc viewer operating in “listen” mode.