On re-reading bug 4133, I see that I should just turn off the

javascript stuff on all instances of IE.

diff --git a/query.cgi b/query.cgi
index 3e8ea9e919271a99252d4e87b2201eb0c538a5a2..b34f87b137ff38ab10ffc0fe641680c946aa007c 100755 (executable)
--- a/query.cgi
+++ b/query.cgi
@@ -232,8 +232,7 @@ $jscript .= q{
 function selectProduct(f) {
     // Apparently, IE4 chokes on the below, so do nothing if running that.
     var agt=navigator.userAgent.toLowerCase();
-    if ((agt.indexOf("msie") != -1) &&
-        (parseInt(navigator.appVersion) == 4)) return;
+    if ((agt.indexOf("msie") != -1)) return;
 
     var cnt = 0;
     var i;