Missing property in NavigationPolygon class

**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 `get_vertices()` and `set_vertices` methods.
Strangely, both the property and the methods 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