Put a download button on the toplevel download page too.
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.

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket