diff --git a/HEADER.html b/HEADER.html
deleted file mode 100644
index e8a97dd1..00000000
--- a/HEADER.html
+++ /dev/null
@@ -1,2 +0,0 @@
-<h1>deutex tree</h1>
-<p>Confused? Better head back to <a href="/">the main page</a>.</p>
diff --git a/status b/status
deleted file mode 120000
index 941b830d..00000000
--- a/status
+++ /dev/null
@@ -1 +0,0 @@
-../status
\ No newline at end of file