Generate doc/bootstrapping.pdf.
Improve slides.