Yep, you're right. It's not relevant for 1.3 as it's a separate project there, but for 2.0 we could/ should make it a separate setting or make it a separate project like it is for 1.3
I think my preference would be to keep it in the same project but with a setting (which is off by default). Eelco
