The text edd0a65a8356, as Debian 9 (Stretch) shipped it.
user priorities
condor_userprio(1) on Linux now
