diff --git a/GOALS.md b/docs/GOALS.md similarity index 100% rename from GOALS.md rename to docs/GOALS.md diff --git a/PRINCIPLES.md b/docs/PRINCIPLES.md similarity index 100% rename from PRINCIPLES.md rename to docs/PRINCIPLES.md diff --git a/UPDATES.html b/docs/UPDATES.html similarity index 100% rename from UPDATES.html rename to docs/UPDATES.html diff --git a/UPDATES.md b/docs/UPDATES.md similarity index 100% rename from UPDATES.md rename to docs/UPDATES.md