Cheese Paper: a text editor specifically designed for writing