delete works, input and popovers fixed, doubleslash
Merge branch 'master' of https://github.com/6004x/6.004x
Merge branch 'master' of https://github.com/6004x/6.004x into jsim