Fix float display
Merge pull request #828 from jaimeMF/download-server

Fix float display
IP check
Update gitignore
Remove copyright note (this page is trivial)
Record changes to download server
Add latest/ directory
Script to update the latest/ directory (#925)
Allow listing latest/
Add an error message if number of arguments is incorrect
Allow latest to be called from everywhere
Disable automatic directory detection
Linkify latest
echo latest version, too