Rename lint.sh to lint.txt