diff --git a/README.md b/README.md
index 067ef6564b..5de3c94efd 100644
--- a/README.md
+++ b/README.md
@@ -11,6 +11,7 @@ There is a nice Makefile. You can make
  * vampire_rel for a release version
  * vampire_z3_rel to build with z3 (also works with debug) but for this you will need a z3 binary in include to link against
  * clean to clean things up
+
 You can also make
  * vtest for a set of unit tests. Run vtest -ls for help once compiled
  * vampire_gcov for a version with coverage information
diff --git a/dogcov.sh b/scripts/dogcov.sh
similarity index 100%
rename from dogcov.sh
rename to scripts/dogcov.sh
diff --git a/fallback.pl b/scripts/fallback.pl
similarity index 100%
rename from fallback.pl
rename to scripts/fallback.pl
diff --git a/runner.sh b/scripts/runner.sh
similarity index 100%
rename from runner.sh
rename to scripts/runner.sh
diff --git a/vinter b/scripts/vinter
similarity index 100%
rename from vinter
rename to scripts/vinter
diff --git a/todo_list.txt b/todo_list.txt
deleted file mode 100644
index 379e6433c1..0000000000
--- a/todo_list.txt
+++ /dev/null
@@ -1,10 +0,0 @@
-Add type checking to parser
-Add sort support for BFNT
-
-
-Submit the journal paper on unification
-Discrimination trees for propositional parts of clauses
-Multiple Vampire instances sharing simplification indexes
-Support for commutative function symbols
-Check what happens if we garbage-collect shared terms: do we gain or lose in memory?
-