Rebuild end-user doc for 9aed96dfb01949dab34a1653bc8360bd87935fbb [719]