Publish menu entry provides pastable snippet using module name `E`

[jbclements]

The "Publish" link in the pyret code editor produced the import line

import shared-gdrive("exporting-example.arr", "1iwdWH4nlKgC0fZ90Qp1BWKX84nAELGTX") as E

... but trying to use the library's one import resulted in an error about the mathematical number e:

import shared-gdrive("exporting-example.arr", "1iwdWH4nlKgC0fZ90Qp1BWKX84nAELGTX") as E

E.bogo-fun("abc")

=>

"The left side was not an object:
~2.718281828459045"

It looks like E is the name for the mathematical number, and probably the
publish menu entry should not use E as a suggested import name?

Oh! I tried it again; I see, it's just the first letter of the file's name. That would be a problem, then?

[jpolitz]

Oh that's a good catch. It is indeed an overlap between module namespaces and value namespaces, which almost never happens because of capitalization conventions. I'm not sure what to do about this case, TBH.