An extension to download files on the local storage, on the HTML5 target (only tested with included files)
Access a file like (example): download_file_inbrowser("/html5project/config.ini");
Based on: (and full credit) https://github.com/rndme/download
End User Licence Agreement (EULA).