Man pages matching name vboxctrl in section 1:

vboxctrl.1.en

debian 10 / isdnvboxclient