Download page

[Richard S. Hall]

There was a bug in the download page where the shell.tui bundle link was 
to the wrong artifact name (it was using shell.tui-1.0.0-project.jar, 
which does not point to anything). I tried to update it, but it still 
doesn't appear to be working. Do we need to manually regenerate the page 
or something?

-> richard