Rebuild end-user doc for 8129b07285ea42302dd3d9cf60dc28d9ed554f35 [730]