Man pages matching name vbox in section 5:

vbox.5.en

debian 10 / isdnvboxserver