Recode URL encoding in downloaded file names

[alice-hannah]

For example, if downloading a file test document.txt, the downloaded file will be named test%20document.txt.

%20 probably most common example but should consider all URL encoding that might creep in.

URLdecode() seems to work