Lint flag removal

Removes `--lint` flag.
I decided to keep the flag because it's useful on its own :).

#2894 : rebuild and fix docs