Ben Lerner

This code as-is obviously works :) But for future robustness -- would it be easier to add an option `enterSubmits: boolean` that decides whether to add this submit-on-press-Enter behavior?

IIRC, it was because we mostly didn't trust students/teachers to copy that fileID correctly, and wanted a belt-and-suspenders check to make sure we were retrieving the intended file. We definitely...

I do wonder if the history of file renamings is persisted with the file? So e.g. if the fielIDs match and the fileName matches _some_ name in the history of...

Fine, then just check the original filename. That's the likeliest one to matter, anyway. I was worried we wouldn't have access to *any* prior names... We don't currently have any...

I'm going to assume that this PR does what @schanzer needs it to do, and that the remaining branch CI failure is because this branch doesn't yet have @jpolitz 's...

It makes exactly as little sense as the syntax `[mutable-string-dict: "", 2, "y", 1, "ny", 1, "any", 2, "tany", 3]` does...but at least they're consistent.

This PR should fix #1716 .

I'm torn on that suggestion -- the downsides of it being wrong (and causing the student to lose whatever experimentation in the REPL they had) seem much worse than the...

Neither. We discussed this a *long* time ago: there is potential mathematical value in having denormalized numbers. (If we ever wanted to do an optics-related unit, say, where we wanted...

I'm really not a fan of misusing `variable` in this context. After talking to @schanzer , we are trying out "name" instead, in contexts that rephrase the sentences slightly to...