Man pages matching name vbox in section 1:

vbox.1.en

debian 10 / isdnvboxclient