PR Feedback

- Add comment describing gitattributes
- Specify which ml files are generated in case we add more in the future

.gitattributes

@@ -3,6 +3,10 @@
 # checkin. When the file has been committed with CRLF, no conversion is done.
 * text=auto
 
-*.ml linguist-generated
+
+# Mark generated code and documentation as such to exclude them from PR diffs and stats.
+# More information: https://github.com/github-linguist/linguist/blob/master/docs/overrides.md#generated-code
+src/haz3lweb/Init.ml linguist-generated
+src/haz3lweb/exercises/**/*.ml linguist-generated
 *.md linguist-documentation
 docs/** linguist-documentation