PAPI_remove_named_event(3) on Linux

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

removes a named hardware event from a PAPI event set.