hprm(1) on Linux

The text e3b0c44298fc, as Debian 11 (Bullseye) shipped it.

hprm(1) on Linux now