The Google Operating System blog uncovers a few snippets of JavaScript which add features to Google Docs, like a document table of contents, a thesaurus, and encyclopedia. For example, to generate a ...