>>1515006Doesn't get the original filename, though.
If you select the partial filename in firefox, then right click, it will give you an option to see the corresponding source. Select that and right next to it will be the full original filename that also appears when you hover the mouse over a thumbnail.
A browser plugin could extract these original filenames and use them for the saved file.