Manual: further details on evaluate_planner_objective

[skip CI]
0 jobs for !1931 with planner_doc
latest merge request