Man pages matching name vbox.conf in section 5:

vbox.conf.5.en

debian 10 / isdnvboxserver