Rebuild end-user doc for ba8e9bcabf6e67b9db0716b8eede911274718d43 [748]