Rebuild end-user doc for 7be2ee10c5cf57d85caabfcb06f91ac5e4fae0e5 [716]