Man pages matching name vboxplay in section 1:

vboxplay.1.en

debian 10 / isdnvboxclient