Changed filenames

For readability and to avoid possible broken links. Originally suffixed
with random letters and numbers when we downloaded the site directly.