Good point. We're zipping the file now, and the PDF needs to be extracted from the compressed archive before you can view it. If the filename ends with the extension .zip, double-click the file to extract the PDF document.