Anyone else mildly bothered by Google’s loose meaning of the term “docs”?