#5: Add copyright. Rewrite lint_all.