Fix NavigationPolygon doc + drop polygon path finder demo
Created by: akien-mga
For the demo, it is obsoleted by the easier NavigationPolygon API and the feature will likely be dropped in the future (see #3740).
Created by: akien-mga
For the demo, it is obsoleted by the easier NavigationPolygon API and the feature will likely be dropped in the future (see #3740).