On Fri, Sep 14, 2018 at 03:15:33PM +0200, Arthur Reutenauer wrote: > I sent you an email > about that. I stand corrected, I did *not* send you an email, which I suppose is the reason for your question right now. Sorry about that :-) Best, Arthur