[lint addon] Don't break for people who are putting linter options in separate property