Re: #6437: Update documentation