Delete TurtleGraphics-vignettes.toc