Rebuild end-user doc for f83b143c0a03572c6a9e1d96303dd292833e6f53 [112]