Priority needs better documentation

[robinp-tw]

The doc at https://taskjuggler.org/tj3/manual/priority.html mentions

For milestones, it will raise or lower the chances that tasks leading up the milestone will get their resources over tasks with equal priority that compete for the same resources.

Problem 1 (milestones):

That sounded what I wanted: just set priority for separate milestone tasks, and let the dependency chain work the priorities out.

But what actually seems to happen: adding a dep from the milestone to a top-level task doesn't affect priority of the top-level task (or its subtasks) in any way. The milestone is just moved closer to the finish of the dependency.

Problem 2 (general):

The description

Don't confuse the priority of a tasks with the importance or urgency of a task. It only increases the chances that the task gets the requested resources. It does not mean that the task happens earlier, though that is usually the effect you will see.

is a bit vague. Is priority is only used to greedily assign a following-task? Or is it still some full-graph scheduling algorithm, where priority is used as some weight?

Great software btw, but clarifying these would dissolve some confusion. Thank you!