Probably mangled everything to get the editor to work
Merge branch 'master' of https://github.com/et1337/Lemma