The text 5e1fcd0fc1de, as Debian 10 (Buster) shipped it.
convert a performance metric identifier into a string
pmIDStr(3) on Linux now
