When an extension is created via the API (gql) it also creates a user in user manager, I can delete the extension via gql but it doesn’t delete the created user manager user, I can’t seem to find any gql or rest api to delete users, I can via the rest API view the users.