diff --git a/DEVELOP b/DEVELOP.md
similarity index 100%
rename from DEVELOP
rename to DEVELOP.md
diff --git a/THANKS b/THANKS.md
similarity index 100%
rename from THANKS
rename to THANKS.md