Man pages matching name vboxgetty in section 8:

vboxgetty.8.en

debian 10 / isdnvboxserver