Github isn't formatting stuff properly, and I edited em as plaintext anyways

diff --git a/README.dev.md b/README.dev.txt
similarity index 100%
rename from README.dev.md
rename to README.dev.txt

diff --git a/README.md b/README.txt
similarity index 100%
rename from README.md
rename to README.txt

diff --git a/doc/attribution.md b/doc/attribution.txt
similarity index 100%
rename from doc/attribution.md
rename to doc/attribution.txt

diff --git a/doc/bytecode.md b/doc/bytecode.txt
similarity index 100%
rename from doc/bytecode.md
rename to doc/bytecode.txt

diff --git a/doc/coding-standard.md b/doc/coding-standard.txt
similarity index 100%
rename from doc/coding-standard.md
rename to doc/coding-standard.txt

diff --git a/doc/compiling.md b/doc/compiling.txt
similarity index 100%
rename from doc/compiling.md
rename to doc/compiling.txt

diff --git a/doc/features.md b/doc/features.txt
similarity index 100%
rename from doc/features.md
rename to doc/features.txt

diff --git a/doc/firmware.md b/doc/firmware.txt
similarity index 100%
rename from doc/firmware.md
rename to doc/firmware.txt

diff --git a/doc/intended-features.md b/doc/intended-features.txt
similarity index 100%
rename from doc/intended-features.md
rename to doc/intended-features.txt

diff --git a/doc/nonos.md b/doc/nonos.txt
similarity index 100%
rename from doc/nonos.md
rename to doc/nonos.txt

diff --git a/doc/std.md b/doc/std.txt
similarity index 100%
rename from doc/std.md
rename to doc/std.txt

diff --git a/doc/todo.md b/doc/todo.txt
similarity index 100%
rename from doc/todo.md
rename to doc/todo.txt