add file.name

Not sure if `file.name` is correct, but it is best if the filename is included in the header.  [jsDelivr CDN has a built-in concocting](https://github.com/jsdelivr/jsdelivr#url-structure) system, so filenames will be lost.
I even got confused when uploading; I hope I got filenames right.