Hello,

I downloaded a website with many pdf-files. These files don't have the
filename extension ".pdf" but ".pdf_; size = _366028" e. g.
This applies also to some jpg-files in the same directory.
Jpg-files in another directory have the usual extension .jpg.

Why is that? And how to change it?Unfortunately changing the extensions of the
affected files doesn't help because the files are referenced with the extended
extension in the html-files.

Thank you for help!

Klaus