lint.py: improved docs