diff --git a/docs/internal/DESIGN b/docs/internal/design.md
similarity index 100%
rename from docs/internal/DESIGN
rename to docs/internal/design.md
diff --git a/docs/internal/INFRA b/docs/internal/infra.md
similarity index 100%
rename from docs/internal/INFRA
rename to docs/internal/infra.md