This new zeneditor.co document editor allows you to edit your google docs content with a customizable interface. the actual google docs still looks like before, but to the writer, it can look like however they want. Is this a good idea?