When a user re-visits the application, these things should be restored from their previous session:

• Directories expanded
• Open file
• Scroll position
• Selection
• File history/histories

If I want to start over a question from an assignment, I should be able to "reset"/"re-fetch" the file.

The editor window is not focused after a refresh of the page, not sure if intended or not

Suggestions in auto complete should display meta tags that identifies what set of rules the suggestion came from

The editor slows down noticeably after editing a large (200+ line) file for a bit to the point where typing a character takes a couple of seconds. Occasionally, the whole webpage also completely hangs.

It may have something to do with snippet expansion/autocompletion from #66, or it might be an earlier dependency bump that's causing the problem.

It at least does not appear to work on Firefox

it's almost 2020

Perhaps only in the "Miscellaneous" directory.

When a file is closed, save its history (i.e. undo stack). When a file is opened, restore its saved history.

e.g. auto-complete shouldn't suggest me "check" just because I've used "#check ND"

Feedback starting with "Oops! Something went wrong." is considered valid.

"a" will result in this feedback.

Currently, leaving a branch open in a ST proof and using the "magic" rule in an ND proof will show the exact same magic icon and "magic was used" message. I think the distinction between the two should be made clearer.

• Number of assignments
• Number of questions for each assignment
• Number of homeworks

Is there a way to wrap text? If not it could be something to implement in the future.

Emojis are visually inconsistent across different platforms (i.e. browsers and operating systems)