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.