The text 3841a08a0735, as Debian 10 (Buster) shipped it.
user priorities
condor_userprio(1) on Linux now
