Path	Lines of Code
lean/scripts/lint_style.py	234