part00: split off "typographical conventions" to a separate slide deck.
part01: advice people to use http://wakari.io/
Add missing LaTeX style files.
Remove leftover file `part8.tex`
gc3.sty: Make stuff that comes after `\pause` completeley invisible.
part02: Fix issue with 2**38 picture that's too dim when projected.