PAPI_query_named_event(3) on Linux

The text 228700b37598, as Debian 13 (Trixie) shipped it. The page shows this text now.

Query if a named PAPI event exists.

PAPI_query_named_event(3) on Linux now