Make the static table page always be visible.

collects/meta/build/build

@@ -1776,12 +1776,9 @@ do_installers_page_body() { # input: selector-html table-html
     echo "<script type=\"text/javascript\" language=\"JavaScript\"><!--"
     echo "  dnld_update();"
     echo "// --></script>"
-    echo "<noscript><div align=\"center\"><font size=\"+2\" color=\"red\"><b>"
-    echo "  <br><hr>"
-    echo "  *** You do not have JavaScript, please use the"
-    echo "  <a href=\"table.html\">static page</a> instead. ***"
-    echo "  <hr><br><br>"
-    echo "</b></font></div></noscript>"
+    echo "<div style=\"text-align: right; font-size: small;\">"
+    echo "  <a href=\"table.html\">[static table]</a> ***"
+    echo "</div>"
   } >> "$selector"
   local NAcell="<td><font color=\"#808080\">N/A</font></td>"
   local SRCcell="<td><a href=\"../$cleantgz\"><tt>$cleantgz</tt><a></td>"

collects/meta/web/stubs/pre.rkt

@@ -25,7 +25,7 @@
 (provide index)
 (define index
   @page[#:file "" #:window-title "Prebuilt materials"]{
-    @p{This directory contains Racket material that is built daily from the
+    @p{This directory contains Racket materials that are built daily from the
        development repository.  See below for instructions.}
     @hr
     @content-hole