Rebuild end-user doc for 24164b8cac347e4ddd9dacd4ce4fd4d6219e1feb [139]