Add file backup to server (e.g. Dropbox)

[codefrau]

E.g. using https://github.com/dropbox/dropbox-js

The web browser wipes out our "persistent" files if the disk space goes low. Also, if we had a way to "log in" our files could be shared across different browsers/devices.

Implementation-wise, files should be uploaded in the background. File download should happen on-demand, perhaps using the existing "templates" code. That would mean directory information would have to be fetched on startup.

[perimosocordiae]

This might be a good use-case for BrowserFS. It supports a variety of storage backends (including Dropbox, localStorage, and server-backed read-only files), all from a common API patterned after the node.js file API.

It's what we use for Doppio (Java VM in JS), and it works really well.