DOKK / manpages

Man pages matching name pmtrace in section 3:

pmtrace.3.en debian 11 / libpcp3-dev
pmtrace.3.en debian 12 / libpcp3-dev