info.js: Use mime() in case of text/plain also
Add /download, to download a file from a remote server.
Add download to 'new' menu.