Update lint.py