The text de965a75e3fb, as Debian 13 (Trixie) shipped it.
set scheduling priority of a thread
pthread_setschedprio(3) on Linux now
