Hi All, Since there have been no further comments, I’ve just pushed a tweaked version of this patch (with Max’s comments addressed and with a minor oversight fixed) as 555dacfa8.
All the best, Timothy -- Timothy (‘tecosaur’/‘TEC’), Org mode contributor. Learn more about Org mode at <https://orgmode.org/>. Support Org development at <https://liberapay.com/org-mode>, or support my work at <https://liberapay.com/tec>.
