Downloding — The safest way is to download files from the directory tree. You'll find it at the right of the page numbers at the top of the page. Marked with a paper clip. That way you get the correct file name directly.