Take a look at the Android market, Google Docs fans – Google has just issued a pretty nice update. The biggest change, by far, is the addition of real-time document collaboration that desktop users have been enjoying for quite some time. Alongisde that, we’ve got an improved editor, support for rich text formatting, layout tools and cursor presence to know where you and your collab buddies are in any given document. You’ll want to get this massive update right away so make no delay. [via Google]