Man pages matching name vboxgetty.conf in section 5:

vboxgetty.conf.5.en

debian 10 / isdnvboxserver