rm obsolete no-op lints
Merge pull request #7936 from thestinger/cleanup

rm obsolete no-op lints