Comment by drdaeman

That’s a fair point, I totally missed this factor, mostly thinking about binary sizes. You’re right, it would be different because of this.