First off, thanks so much for your hard work, git-annex is amazing.

I just started using the web as a special remote feature with the SHA256E backend, and I noticed that although the annexed file has the correct backend prefix (SHA256E) it does not have the extension of the file in the URL. The URL is https://...IMG_1234.JPG but the annexed file is SHA256E-...832c99 with no extension.

This is fine for most use cases, but I actually access an S3 remote directly from another app (independent of git-annex) to render photos, and in that app I'm using the extensions to figure out file types, so not having that info is slightly inconvenient.

Is there any way to either:

1. tell git-annex to preserve the extension of a file on the web in the annexed file, or
2. alternatively, change the annexed filename (add the extension manually) without screwing anything up?

Any help would be much appreciated, thanks!