carta

pmTrimNameSpace(3) on Linux

The text 2834d72ead17, as Debian 10 (Buster) shipped it.

prune a performance metrics name space

pmTrimNameSpace(3) on Linux now