Man pages matching name filepp in section 1:

filepp.1.en

debian 10 / filepp