-and in particular the portions students will read, in a style that shows,
-by example, the coding style we expect from students. This style
-includes purely syntactical convention such as the choice of the
-GNU indentation style, and extends to commenting style and naming
-conventions. During the semesters in which Pintos was used, we
-continuously refined the internal code documentation, focusing on those
+and in particular the portions students must read, in a style that shows,
+by example, the coding style we expect from students.
+% cut for length
+%This style includes purely syntactical convention such as the choice of the
+%GNU indentation style, and extends to commenting style and naming conventions.
+We continuously refined the internal code documentation over several
+semesters, focusing on those