On 08-09-17 17:47, Nicolas Cellier wrote:
> if you have an account you can also post such question on stackoverflow, 
> they generally have a response shortly.

We generally recommend against using stackoverflow. Too many clueless 
closers, and no way to give a decent answer. SO does not work for small 
communities.

Stephan