Adding more to CodeDocumentation.tex