ex04: theory 3: degrees is enough [minor]
ex04: theory 4: put TODO in a comment [minor]
ex04: make doc generation script quiet
ex04: doc: theory: different answer for 4