I think I've fixed the filename problem. If you download files from the library, they should now come with the correct extensions and have the same name as their library entry (not necessarily the original filename). Let me know if you encounter further problems.