-\paragraph{Provide analysis tools.}
-Static and dynamic analysis tools are now widely being used; an OS course should
-be no exception. We have extended the Qemu emulator that perform tailored
-analyses that can point out errors such as race conditions.
+\paragraph{Include Analysis Tools}
+Dynamic analysis tools are now being widely used in software development;
+an OS course should be no exception.
+In Section~\ref{sec:dynamicanalysis}, we describe how we
+extended the QEMU emulator~\cite{Bellard2005QEMU} to
+perform tailored analyses that find errors such as race conditions.
+
+\paragraph{Provide Extensive and Structured Documentation}
+If using an instructional system requires too much undocumented knowledge,
+the system is often not shared or falls into disuse because the learning curve
+for instructors is too steep and training teaching assistants is difficult.
+Pintos includes an extensive 129 page manual, a sample solution,
+and grading instructions for teaching assistants. The project documentation
+highlights sections students must read from sections that merely provide supplemental information.
+%Even though Pintos uses an existing and complex architecture, our experience indicates
+%that the manual is sufficient for most students.