lint user.py and related