Re: [PATCH] man: fix runner.sys_prio default