Hi all, While I do see the point behind 'off-by-default', I think it will ruin the purpose since nobody will turn it on. I'd propose having it on by default (at least) for pre-releases. Cheers, Ivan