Man pages matching name vboxtcl in section 5:

vboxtcl.5.en

debian 10 / isdnvboxserver