Hi Bastien,

That looks great, thank you for addressing this so quickly. As always, very impressed with your leadership of the org project.

Looking forward to the next release!

Neil

On Sun., Jan. 26, 2020, 12:00 a.m. Bastien, <bzg@gnu.org> wrote:

Hi Neil,

thanks for reporting this - I enhanced the documentation like this:
https://code.orgmode.org/bzg/org-mode/commit/c6a34dc0

Let me know if this solves it for you.

Best,

--
Bastien