On Thu, 27 Jun 2024 at 12:27, ikedarintarof
<ikedarintarof@oss.nttdata.com> wrote:
> Thanks for your suggestion. I used ChatGPT to choose the wording, but
> it's still difficult for me.
Looks good to me now (but obviously biased since you took my wording).
Adding Robert, since he authored the commit that introduced this
comment.