It would be a useful feature to be able to export the list of users via API, which is listed under User Directory -> Export button