If lint must be fixed, then why isn't the fix in this PR?