There is a documentation inconsistency regarding how to update users

on https://github.com/ezsystems/ezpublish-kernel/blob/master/doc/specifications/rest/REST-API-V2.rst

In chapter "1.5.1 Overview" it is said that a "PUT" request is needed in order to update a user.

In "1.5.1.1.13 Update User" it is written :
"PATCH or POST with header X-HTTP-Method-Override: PATCH"

I guess chapter 1.5.1 is wrong...