Fix user-friendly job names so that they are the same as in the manager menu#1524

pajawojciech wants to merge 1 commit intoDFHack:masterDFHack/scripts:masterfrom

pajawojciech:patch-2pajawojciech/scripts:patch-2Copy head branch name to clipboard