Rebuild end-user doc for 89bf5a29e3cfd3fa99d05a2ec2063a86bc53a60c [731]