Some download page fixes, and gsi update