OK, then I close the bug for now. Feel free to reopen if you encounter again, and at best, it becomes reproducible at will. Thanks.