--- openapi: get /user ---