Rebuild end-user doc for f8975ed3406db161337420093dd65eff62dccecb [751]