I improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (: