Some cleaning up of files that are now in the gh-pages branch