As @duncdrum stated , for https://github.com/eXist-db/exist/pull/5856 the documentation needs to be updated.
As @duncdrum stated , for eXist-db/exist#5856 the documentation needs to be updated.