Minor changes to the examples.
doc/: add latex files used to generate website images.