Put a download button on the toplevel download page too.

The download toplevel is not meant to be part of the web, but people
will still get there -- so be nice.

collects/meta/web/download/index.rkt

@@ -1,6 +1,6 @@
 #lang at-exp s-exp "shared.rkt"
 
-(require racket/string "data.rkt")
+(require racket/string "data.rkt" "../www/download.rkt")
 
 (define (in-ftp . paths)
   (string-join (cons "/var/ftp/pub/racket" paths) "/"))
@@ -10,10 +10,12 @@
 
 (provide index)
 (define index
-  (page #:link-title "Downloads"
+  @page[#:link-title "Downloads"]{
+    @div[style: "float: right;"]{@download-button}
+    Use these links to browse the download directories directly:
     @ul{@li{Current @a[href: `(,installers "/recent")]{installers}
             (or @a[href: installers]{all versions}).}
         @li{Current documentation in
             @a[href: `(,docs "/recent/html")]{HTML} and in
             @a[href: `(,docs "/recent/pdf")]{PDF}
-            (or @a[href: docs]{all versions}).}}))
+            (or @a[href: docs]{all versions}).}}})