Google Docs tool can show every edit a person has ever made