Rename release file, better web page.