News Google Docs can edit Office documents offline — here’s how it works