@randal'thor very late, but yeah that'd be fine, I trust those kinds of leaks not to spoil the sort of thing I actually care about