is it possible to update the external_id field on the user (contact) endpoint?
I have tried unsuccessfully to PUT external_id. The response is HTTP200, yet nothing is changed. I successfully changed name for the same user, so that proves I can PUT.
If it is not possible to change the external_id, should the API return an HTTP4xx?
CURL commands attached.