write.rocks vs Google Docs: Better for Writing (Not Just Collaborating)