When:

I'd like to add another user to Push Server

Expect:

UserEndpoint listens to POST request on /rest/users

and

Admin UI allows user management for users with admin role

Actual:

There is no such REST API. However, Push Server still distinguished in between users when for instance it retrieves all apps.