Rebuild end-user doc for 392667c244aed31287d5903624e420b32293b9b9 [738]