Rebuild end-user doc for 71fef561e3d1649d126f8c9e3389d9a690a65bdc [708]