Figure 5. Document editor in Google Docs.