build: run docs regen in synth.py (#1059)

diff --git a/docs/dyn/drive_v3.files.html b/docs/dyn/drive_v3.files.html
index 12f59d9..2a8e4c8 100644
--- a/docs/dyn/drive_v3.files.html
+++ b/docs/dyn/drive_v3.files.html
@@ -203,7 +203,7 @@
   "description": "A String", # A short description of the file.
   "driveId": "A String", # ID of the shared drive the file resides in. Only populated for items in shared drives.
   "explicitlyTrashed": True or False, # Whether the file has been explicitly trashed, as opposed to recursively trashed from a parent folder.
-  "exportLinks": { # Links for exporting Google Docs to specific formats.
+  "exportLinks": { # Links for exporting Docs Editors files to specific formats.
     "a_key": "A String", # A mapping from export format to URL
   },
   "fileExtension": "A String", # The final component of fullFileExtension. This is only available for files with binary content in Google Drive.
@@ -356,13 +356,13 @@
     "targetId": "A String", # The ID of the file that this shortcut points to.
     "targetMimeType": "A String", # The MIME type of the file that this shortcut points to. The value of this field is a snapshot of the target's MIME type, captured when the shortcut is created.
   },
-  "size": "A String", # The size of the file's content in bytes. This is only applicable to files with binary content in Google Drive.
+  "size": "A String", # The size of the file's content in bytes. This is applicable to binary files in Google Drive and Google Docs files.
   "spaces": [ # The list of spaces which contain the file. The currently supported values are 'drive', 'appDataFolder' and 'photos'.
     "A String",
   ],
   "starred": True or False, # Whether the user has starred the file.
   "teamDriveId": "A String", # Deprecated - use driveId instead.
-  "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content.
+  "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content. If the file isn't shared publicly, the URL returned in Files.thumbnailLink must be fetched using a credentialed request.
   "thumbnailVersion": "A String", # The thumbnail version for use in thumbnail cache invalidation.
   "trashed": True or False, # Whether the file has been trashed, either explicitly or from a trashed parent folder. Only the owner may trash a file. The trashed item is excluded from all files.list responses returned for any user who does not own the file. However, all users with access to the file can see the trashed item metadata in an API response. All users with access can copy, download, export, and share the file.
   "trashedTime": "A String", # The time that the item was trashed (RFC 3339 date-time). Only populated for items in shared drives.
@@ -468,7 +468,7 @@
     "description": "A String", # A short description of the file.
     "driveId": "A String", # ID of the shared drive the file resides in. Only populated for items in shared drives.
     "explicitlyTrashed": True or False, # Whether the file has been explicitly trashed, as opposed to recursively trashed from a parent folder.
-    "exportLinks": { # Links for exporting Google Docs to specific formats.
+    "exportLinks": { # Links for exporting Docs Editors files to specific formats.
       "a_key": "A String", # A mapping from export format to URL
     },
     "fileExtension": "A String", # The final component of fullFileExtension. This is only available for files with binary content in Google Drive.
@@ -621,13 +621,13 @@
       "targetId": "A String", # The ID of the file that this shortcut points to.
       "targetMimeType": "A String", # The MIME type of the file that this shortcut points to. The value of this field is a snapshot of the target's MIME type, captured when the shortcut is created.
     },
-    "size": "A String", # The size of the file's content in bytes. This is only applicable to files with binary content in Google Drive.
+    "size": "A String", # The size of the file's content in bytes. This is applicable to binary files in Google Drive and Google Docs files.
     "spaces": [ # The list of spaces which contain the file. The currently supported values are 'drive', 'appDataFolder' and 'photos'.
       "A String",
     ],
     "starred": True or False, # Whether the user has starred the file.
     "teamDriveId": "A String", # Deprecated - use driveId instead.
-    "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content.
+    "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content. If the file isn't shared publicly, the URL returned in Files.thumbnailLink must be fetched using a credentialed request.
     "thumbnailVersion": "A String", # The thumbnail version for use in thumbnail cache invalidation.
     "trashed": True or False, # Whether the file has been trashed, either explicitly or from a trashed parent folder. Only the owner may trash a file. The trashed item is excluded from all files.list responses returned for any user who does not own the file. However, all users with access to the file can see the trashed item metadata in an API response. All users with access can copy, download, export, and share the file.
     "trashedTime": "A String", # The time that the item was trashed (RFC 3339 date-time). Only populated for items in shared drives.
@@ -731,7 +731,7 @@
   "description": "A String", # A short description of the file.
   "driveId": "A String", # ID of the shared drive the file resides in. Only populated for items in shared drives.
   "explicitlyTrashed": True or False, # Whether the file has been explicitly trashed, as opposed to recursively trashed from a parent folder.
-  "exportLinks": { # Links for exporting Google Docs to specific formats.
+  "exportLinks": { # Links for exporting Docs Editors files to specific formats.
     "a_key": "A String", # A mapping from export format to URL
   },
   "fileExtension": "A String", # The final component of fullFileExtension. This is only available for files with binary content in Google Drive.
@@ -884,13 +884,13 @@
     "targetId": "A String", # The ID of the file that this shortcut points to.
     "targetMimeType": "A String", # The MIME type of the file that this shortcut points to. The value of this field is a snapshot of the target's MIME type, captured when the shortcut is created.
   },
-  "size": "A String", # The size of the file's content in bytes. This is only applicable to files with binary content in Google Drive.
+  "size": "A String", # The size of the file's content in bytes. This is applicable to binary files in Google Drive and Google Docs files.
   "spaces": [ # The list of spaces which contain the file. The currently supported values are 'drive', 'appDataFolder' and 'photos'.
     "A String",
   ],
   "starred": True or False, # Whether the user has starred the file.
   "teamDriveId": "A String", # Deprecated - use driveId instead.
-  "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content.
+  "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content. If the file isn't shared publicly, the URL returned in Files.thumbnailLink must be fetched using a credentialed request.
   "thumbnailVersion": "A String", # The thumbnail version for use in thumbnail cache invalidation.
   "trashed": True or False, # Whether the file has been trashed, either explicitly or from a trashed parent folder. Only the owner may trash a file. The trashed item is excluded from all files.list responses returned for any user who does not own the file. However, all users with access to the file can see the trashed item metadata in an API response. All users with access can copy, download, export, and share the file.
   "trashedTime": "A String", # The time that the item was trashed (RFC 3339 date-time). Only populated for items in shared drives.
@@ -999,7 +999,7 @@
     "description": "A String", # A short description of the file.
     "driveId": "A String", # ID of the shared drive the file resides in. Only populated for items in shared drives.
     "explicitlyTrashed": True or False, # Whether the file has been explicitly trashed, as opposed to recursively trashed from a parent folder.
-    "exportLinks": { # Links for exporting Google Docs to specific formats.
+    "exportLinks": { # Links for exporting Docs Editors files to specific formats.
       "a_key": "A String", # A mapping from export format to URL
     },
     "fileExtension": "A String", # The final component of fullFileExtension. This is only available for files with binary content in Google Drive.
@@ -1152,13 +1152,13 @@
       "targetId": "A String", # The ID of the file that this shortcut points to.
       "targetMimeType": "A String", # The MIME type of the file that this shortcut points to. The value of this field is a snapshot of the target's MIME type, captured when the shortcut is created.
     },
-    "size": "A String", # The size of the file's content in bytes. This is only applicable to files with binary content in Google Drive.
+    "size": "A String", # The size of the file's content in bytes. This is applicable to binary files in Google Drive and Google Docs files.
     "spaces": [ # The list of spaces which contain the file. The currently supported values are 'drive', 'appDataFolder' and 'photos'.
       "A String",
     ],
     "starred": True or False, # Whether the user has starred the file.
     "teamDriveId": "A String", # Deprecated - use driveId instead.
-    "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content.
+    "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content. If the file isn't shared publicly, the URL returned in Files.thumbnailLink must be fetched using a credentialed request.
     "thumbnailVersion": "A String", # The thumbnail version for use in thumbnail cache invalidation.
     "trashed": True or False, # Whether the file has been trashed, either explicitly or from a trashed parent folder. Only the owner may trash a file. The trashed item is excluded from all files.list responses returned for any user who does not own the file. However, all users with access to the file can see the trashed item metadata in an API response. All users with access can copy, download, export, and share the file.
     "trashedTime": "A String", # The time that the item was trashed (RFC 3339 date-time). Only populated for items in shared drives.
@@ -1329,7 +1329,7 @@
     "description": "A String", # A short description of the file.
     "driveId": "A String", # ID of the shared drive the file resides in. Only populated for items in shared drives.
     "explicitlyTrashed": True or False, # Whether the file has been explicitly trashed, as opposed to recursively trashed from a parent folder.
-    "exportLinks": { # Links for exporting Google Docs to specific formats.
+    "exportLinks": { # Links for exporting Docs Editors files to specific formats.
       "a_key": "A String", # A mapping from export format to URL
     },
     "fileExtension": "A String", # The final component of fullFileExtension. This is only available for files with binary content in Google Drive.
@@ -1482,13 +1482,13 @@
       "targetId": "A String", # The ID of the file that this shortcut points to.
       "targetMimeType": "A String", # The MIME type of the file that this shortcut points to. The value of this field is a snapshot of the target's MIME type, captured when the shortcut is created.
     },
-    "size": "A String", # The size of the file's content in bytes. This is only applicable to files with binary content in Google Drive.
+    "size": "A String", # The size of the file's content in bytes. This is applicable to binary files in Google Drive and Google Docs files.
     "spaces": [ # The list of spaces which contain the file. The currently supported values are 'drive', 'appDataFolder' and 'photos'.
       "A String",
     ],
     "starred": True or False, # Whether the user has starred the file.
     "teamDriveId": "A String", # Deprecated - use driveId instead.
-    "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content.
+    "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content. If the file isn't shared publicly, the URL returned in Files.thumbnailLink must be fetched using a credentialed request.
     "thumbnailVersion": "A String", # The thumbnail version for use in thumbnail cache invalidation.
     "trashed": True or False, # Whether the file has been trashed, either explicitly or from a trashed parent folder. Only the owner may trash a file. The trashed item is excluded from all files.list responses returned for any user who does not own the file. However, all users with access to the file can see the trashed item metadata in an API response. All users with access can copy, download, export, and share the file.
     "trashedTime": "A String", # The time that the item was trashed (RFC 3339 date-time). Only populated for items in shared drives.
@@ -1629,7 +1629,7 @@
         "description": "A String", # A short description of the file.
         "driveId": "A String", # ID of the shared drive the file resides in. Only populated for items in shared drives.
         "explicitlyTrashed": True or False, # Whether the file has been explicitly trashed, as opposed to recursively trashed from a parent folder.
-        "exportLinks": { # Links for exporting Google Docs to specific formats.
+        "exportLinks": { # Links for exporting Docs Editors files to specific formats.
           "a_key": "A String", # A mapping from export format to URL
         },
         "fileExtension": "A String", # The final component of fullFileExtension. This is only available for files with binary content in Google Drive.
@@ -1782,13 +1782,13 @@
           "targetId": "A String", # The ID of the file that this shortcut points to.
           "targetMimeType": "A String", # The MIME type of the file that this shortcut points to. The value of this field is a snapshot of the target's MIME type, captured when the shortcut is created.
         },
-        "size": "A String", # The size of the file's content in bytes. This is only applicable to files with binary content in Google Drive.
+        "size": "A String", # The size of the file's content in bytes. This is applicable to binary files in Google Drive and Google Docs files.
         "spaces": [ # The list of spaces which contain the file. The currently supported values are 'drive', 'appDataFolder' and 'photos'.
           "A String",
         ],
         "starred": True or False, # Whether the user has starred the file.
         "teamDriveId": "A String", # Deprecated - use driveId instead.
-        "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content.
+        "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content. If the file isn't shared publicly, the URL returned in Files.thumbnailLink must be fetched using a credentialed request.
         "thumbnailVersion": "A String", # The thumbnail version for use in thumbnail cache invalidation.
         "trashed": True or False, # Whether the file has been trashed, either explicitly or from a trashed parent folder. Only the owner may trash a file. The trashed item is excluded from all files.list responses returned for any user who does not own the file. However, all users with access to the file can see the trashed item metadata in an API response. All users with access can copy, download, export, and share the file.
         "trashedTime": "A String", # The time that the item was trashed (RFC 3339 date-time). Only populated for items in shared drives.
@@ -1912,7 +1912,7 @@
   "description": "A String", # A short description of the file.
   "driveId": "A String", # ID of the shared drive the file resides in. Only populated for items in shared drives.
   "explicitlyTrashed": True or False, # Whether the file has been explicitly trashed, as opposed to recursively trashed from a parent folder.
-  "exportLinks": { # Links for exporting Google Docs to specific formats.
+  "exportLinks": { # Links for exporting Docs Editors files to specific formats.
     "a_key": "A String", # A mapping from export format to URL
   },
   "fileExtension": "A String", # The final component of fullFileExtension. This is only available for files with binary content in Google Drive.
@@ -2065,13 +2065,13 @@
     "targetId": "A String", # The ID of the file that this shortcut points to.
     "targetMimeType": "A String", # The MIME type of the file that this shortcut points to. The value of this field is a snapshot of the target's MIME type, captured when the shortcut is created.
   },
-  "size": "A String", # The size of the file's content in bytes. This is only applicable to files with binary content in Google Drive.
+  "size": "A String", # The size of the file's content in bytes. This is applicable to binary files in Google Drive and Google Docs files.
   "spaces": [ # The list of spaces which contain the file. The currently supported values are 'drive', 'appDataFolder' and 'photos'.
     "A String",
   ],
   "starred": True or False, # Whether the user has starred the file.
   "teamDriveId": "A String", # Deprecated - use driveId instead.
-  "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content.
+  "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content. If the file isn't shared publicly, the URL returned in Files.thumbnailLink must be fetched using a credentialed request.
   "thumbnailVersion": "A String", # The thumbnail version for use in thumbnail cache invalidation.
   "trashed": True or False, # Whether the file has been trashed, either explicitly or from a trashed parent folder. Only the owner may trash a file. The trashed item is excluded from all files.list responses returned for any user who does not own the file. However, all users with access to the file can see the trashed item metadata in an API response. All users with access can copy, download, export, and share the file.
   "trashedTime": "A String", # The time that the item was trashed (RFC 3339 date-time). Only populated for items in shared drives.
@@ -2181,7 +2181,7 @@
     "description": "A String", # A short description of the file.
     "driveId": "A String", # ID of the shared drive the file resides in. Only populated for items in shared drives.
     "explicitlyTrashed": True or False, # Whether the file has been explicitly trashed, as opposed to recursively trashed from a parent folder.
-    "exportLinks": { # Links for exporting Google Docs to specific formats.
+    "exportLinks": { # Links for exporting Docs Editors files to specific formats.
       "a_key": "A String", # A mapping from export format to URL
     },
     "fileExtension": "A String", # The final component of fullFileExtension. This is only available for files with binary content in Google Drive.
@@ -2334,13 +2334,13 @@
       "targetId": "A String", # The ID of the file that this shortcut points to.
       "targetMimeType": "A String", # The MIME type of the file that this shortcut points to. The value of this field is a snapshot of the target's MIME type, captured when the shortcut is created.
     },
-    "size": "A String", # The size of the file's content in bytes. This is only applicable to files with binary content in Google Drive.
+    "size": "A String", # The size of the file's content in bytes. This is applicable to binary files in Google Drive and Google Docs files.
     "spaces": [ # The list of spaces which contain the file. The currently supported values are 'drive', 'appDataFolder' and 'photos'.
       "A String",
     ],
     "starred": True or False, # Whether the user has starred the file.
     "teamDriveId": "A String", # Deprecated - use driveId instead.
-    "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content.
+    "thumbnailLink": "A String", # A short-lived link to the file's thumbnail, if available. Typically lasts on the order of hours. Only populated when the requesting app can access the file's content. If the file isn't shared publicly, the URL returned in Files.thumbnailLink must be fetched using a credentialed request.
     "thumbnailVersion": "A String", # The thumbnail version for use in thumbnail cache invalidation.
     "trashed": True or False, # Whether the file has been trashed, either explicitly or from a trashed parent folder. Only the owner may trash a file. The trashed item is excluded from all files.list responses returned for any user who does not own the file. However, all users with access to the file can see the trashed item metadata in an API response. All users with access can copy, download, export, and share the file.
     "trashedTime": "A String", # The time that the item was trashed (RFC 3339 date-time). Only populated for items in shared drives.