Man pages matching name avg_videoplayer in section 1:

avg_videoplayer.1.en

debian 10 / python-libavg