Adding codex files.