Update doc/manual/judging.rst

Co-authored-by: Thijs Kinkhorst <[email protected]>

doc/manual/judging.rst

@@ -14,7 +14,7 @@ The flow of an incoming submission is as follows.
    (if there is no queue of pending submissions).
 #. To avoid starving other teams from judgehost resources,
    submissions from teams that submit while they have other submissions
-   in the judge queue will be penalized by downgrading their judging priority.
+   in the judge queue will get lower priority than a submission from a team that has no earlier submission being judged yet.
 #. If verification is not required, the result is automatically
    recorded and the team can view the result and the scoreboard is
    updated (unless after the scoreboard freeze). A judge can