DesignDocument: fiddle with whitespace, make the roman numeral lowercase
docs/Makefile: make DesignDocument look ~ like Tomer wants