codex-patches

Use this when updating the codex submodule or when patch files in codex-patches/ need to be added, regenerated, or repaired.