More provisional.
diff --git a/index.php b/index.php
index 887a6f5..980a0d5 100644
--- a/index.php
+++ b/index.php
@@ -1,3 +1 @@
-<?php if ($_GET["provisional"] == "1") { header('Location: http://www.eclipse.org/projects/project.php?id=tools.oomph'); exit; } ?>
-
 Hello World!