since the issue is not reproducible, I’ll leave it closed