clarify difference between ignoreLocalArtifacts and rm local properties