PAPI_hl_stop(3) on Linux

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

Stop a running high-level event set.

PAPI_hl_stop(3) on Linux now