UI designs for github-bookeditor, the semantic Aloha Editor, and Remix