Ihor Radchenko <yantar92@posteo.net> writes:

> Makes sense.
> Would you be interested to submit a patch?
> You will need to modify doc/org-manual.org file in Org repository.
> See https://orgmode.org/worg/org-contribute.html

Thanks for your response.  I'm not really familiar with Org development,
but I hope the attached change fits the bill.  Please feel free to
adjust when necessary.

Best, Arash