diff --git a/about.html b/about.html
index d336607..73ddf26 100755
--- a/about.html
+++ b/about.html
@@ -26,3 +26,4 @@ abbr{font-variant:none;text-transform:none;letter-spacing:0}
 </div>
 </div>
 <p class=c>&copy; 2001&ndash;9 Mark Pilgrim
+<!--[if IE]><script src=j/html5.js></script><![endif]-->
diff --git a/index.html b/index.html
index 5221f10..7e518bd 100644
--- a/index.html
+++ b/index.html
@@ -59,3 +59,4 @@ h1:before{content:''}
 <p class='c nm'>This site is optimized for Lynx just because fuck you.<br>I&#8217;m told it also looks good in graphical browsers.
 
 <p class=c>&copy; 2001&ndash;9 <a href=about.html>Mark Pilgrim</a>
+<!--[if IE]><script src=j/html5.js></script><![endif]-->
diff --git a/iterators-and-generators.html b/iterators-and-generators.html
index 927992d..5d540b7 100755
--- a/iterators-and-generators.html
+++ b/iterators-and-generators.html
@@ -86,3 +86,4 @@ h1:before{counter-increment:h1;content:''}
 <p class=c>&copy; 2001&ndash;9 <a href=about.html>Mark Pilgrim</a>
 <script src=j/jquery.js></script>
 <script src=j/dip3.js></script>
+<!--[if IE]><script src=j/html5.js></script><![endif]-->
diff --git a/push b/push
deleted file mode 100755
index bd7a711..0000000
--- a/push
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/sh
-
-die () {
-  echo "$1" >/dev/stderr
-  exit 1
-}
-
-hg status|grep "^\?" && die "Stray files found."
-echo "not running unit tests, shame shame"
-cd examples/
-#python3 regression.py || die "Unit tests failed."
-cd ..
-ssh diveintomark.org "hg -R /home/mark/db/diveintopython3/ serve --stdio" &
-hg push ssh://mark@diveintomark.org//home/mark/db/diveintopython3/
diff --git a/table-of-contents.html b/table-of-contents.html
index cb51e32..3ff756e 100755
--- a/table-of-contents.html
+++ b/table-of-contents.html
@@ -362,3 +362,4 @@ ul li ol{margin:0;padding:0 0 0 2.5em}
   </ol>
 </ul>
 <p class=c>&copy; 2001&ndash;9 <a href=about.html>Mark Pilgrim</a>
+<!--[if IE]><script src=j/html5.js></script><![endif]-->