Ah this is problematic indeed, I didn't thought about that... Yes, let's move it to repository. I'll look into this problem. Thanks!