PAPI_derived_event_files(5) on Linux

The text a2c0dd34e09d, as Debian 12 (Bookworm) shipped it.

Describes derived event definition file syntax.

PAPI_derived_event_files(5) on Linux now