Perhaps I am failing to find it in the documentation, but I would love to be able to use /// documentation to be able to populate the in script editor tool tip. If that is not possible due to the GDExtenstion bindings, then I would love to see documentation on how to set that up relative to a godot-rust extension.