Report 5 touch-up

 * Improved language.
 * A few clarifications.
 * (Somewhat) improved typesetting.
 * Sample mips output and test-runs.