Removing codex files (moved to gh-pages branch)