The files in this directory are created by /notebooks/Makefile. HF,
Sep 2014

If you want to change them, change them in ../../../notebooks, and then
run 'make all', or 'make update-outputs'
(That's still true, Sep 2016.)