This repository has moved to: https://github.com/proofdict/proofdict/tree/master/packages/%40proofdict/editor