On 16/02/16 11:37, Thibaut Paumard wrote: > This discussion getting off-topic for this bug, should we move > somewhere else? Yes please. Emilio