Rebuild end-user doc for 09b9adf10bc735be00bf53566aa9f560fd45a4ff [707]