Hi Ferdinand, thanks for your patch, I applied it against master: https://code.orgmode.org/bzg/org-mode/commit/928e67df7e
I slightly condensed the commit message and I don't think there is a real need for a comment in the code, but why not. Cheers, -- Bastien
