Follow-up from "WIP: Add live code editing using thebelab"
The following discussion from !47 (merged) should be addressed:
-
@anton-akhmerov started a discussion: (+1 comment)
TODO: wait until https://github.com/minrk/thebelab/pull/131 and https://github.com/minrk/thebelab/pull/132 are merged and the new version of thebelab is released.
Then we should remove the inlined thebelab.
