On 08/03/17 08:24, Nicolas Goaziou wrote:
> I have no objection to this patch, but I think it needs to be
> documented, if only as a code comment. IIRC, there is also some
> documentation about "ob-shell" on Worg. It would be nice to document
> this feature.

I can't actually find any documentation for ob-shell. I had to read the 
source code. I have documented it as a code comment in my patch (with 
proper commit message).

Thanks,

George.