Google Docs makes collaboration easy, but Word’s decades-old formatting tools still give it an edge.