Merge branch 'et/add-chmod-x' into maint

"git add --chmod=+x" added recently lacked documentation, which has been corrected. * et/add-chmod-x: add: document the chmod option