Worked for me just now (7 minutes after your post). Minor general complaint to people tarring up stuff for download; It's always useful to provide a useful tit

Worked for me just now (7 minutes after your post). Minor general complaint to people tarring up stuff for download; It's always useful to provide a useful title and/or author to identify the file, instead of something like 'pdf.tar.gz' or something equally distinguished. EDIT: I'm not wanting to sound ungrateful, it can just be a little difficult to notice or remember to fix a name, and then... hunt the file time ;)