Got rid of code snippets, since they are all in snippets.tex