Missing property in NavigationPolygon class

[exhaust-pipe]

Your Godot version:
4.5.1

Issue description:
The NavigationPolygon class has a vertices property, but it's not mentioned in the doc. There's only a get_vertices() method.
Strangely, both the property and the method are usable in scripts, yet neither appears in the code completion suggestions.

URL to the documentation page:
https://docs.godotengine.org/en/latest/classes/class_navigationpolygon.html