Rebuild end-user doc for f252987cccdd720a41ce6f51b00110ddcf58b434 [739]