fix some issues when using overlapping linters
rename Preferences commands