Man pages matching name papi_derived_event_files in section 1:

PAPI_derived_event_files.1.en

debian 10 / papi-tools