What exactly do you mean by a module here? Since we need to support older pages, we cannot alter the way how embedded_sagecell.js is supposed to be loaded. But in principle it is possible to serve a script with a different name that uses some other approach.
-- You received this message because you are subscribed to the Google Groups "sage-cell" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-cell/fe6e6286-566b-4898-9535-5677a2e9e49an%40googlegroups.com.
