get /role API should have a list of permissions

https://auth0.com/docs/api/authorization-extension?shell#get-a-single-role

According to the documentation it doesn’t look like the GET call returns the array of permissions, is that right? It would seem reasonable that it should as the role entries in get all roles are suppose to have the permissions array.

Thanks for your help.