Man pages matching name vboxputty in section 8:

vboxputty.8.en

debian 10 / isdnvboxserver