--- openapi: get /apps/{app_id}/users ---