As the title says, is there a way to edit file's name before downloading it? Any extension or anything? As in, e.g I'd like to download a photo but change it's file name before I do so, so I don't have to go into files app on my phone in order to modify it. (Sorry if it's easy to do and I just can't find it but I'm super new to Mozilla and used Opera Mobile before, which had that option, so I'm used to it)