Man pages matching name vboxrc in section 5:

vboxrc.5.en

debian 10 / isdnvboxclient