Man pages matching name progvis in section 1:

progvis.1.en

debian 12 / progvis