default file name on download

Posted under Bugs & Features

Whatever algorithm is used to generate a default file name when saving an image could stand to be looked at. When saving post #5267887, the resulting filename I got was:

This is mostly an issue on mobile, since in my experience the user is not given the opportunity to change the default name when downloading.