On 19 December 2016 at 01:47, Bastien Guerry <bzg@gnu.org> wrote:
 
There is still the more general problem of linking to a library hosted
on Google's servers.

For example, the resulting HTML would contain these links:

https://storage.googleapis.com/app.klipse.tech/css/codemirror.css
https://storage.googleapis.com/app.klipse.tech/plugin_prod/js/klipse_plugin.min.js

Wouldn't it make more sense to simply include these files in the package? I can imagine it could be quite annoying to be on a plane when exporting a HTML file and not being able to use the result just because one doesn't have any Internet connectivity.