chore: update generated docs (#1115)

This PR was generated using Autosynth. :rainbow:

Synth log will be available here:
https://source.cloud.google.com/results/invocations/2ed9ab0e-55b4-4ab2-aede-c95e765f7376/targets

- [x] To automatically regenerate this PR, check this box.

Source-Link: https://github.com/googleapis/discovery-artifact-manager/commit/0bed8bdae25d545e796cfcdd7a9bfffff11e69da
Source-Link: https://github.com/googleapis/synthtool/commit/c2de32114ec484aa708d32012d1fa8d75232daf5
diff --git a/docs/dyn/cloudshell_v1alpha1.users.environments.publicKeys.html b/docs/dyn/cloudshell_v1alpha1.users.environments.publicKeys.html
index 8572859..0659bf0 100644
--- a/docs/dyn/cloudshell_v1alpha1.users.environments.publicKeys.html
+++ b/docs/dyn/cloudshell_v1alpha1.users.environments.publicKeys.html
@@ -100,9 +100,9 @@
 
 { # Request message for CreatePublicKey.
     "key": { # A public SSH key, corresponding to a private SSH key held by the client. # Key that should be added to the environment.
+      "format": "A String", # Required. Format of this key's content.
       "key": "A String", # Required. Content of this key.
       "name": "A String", # Output only. Full name of this resource, in the format `users/{owner_email}/environments/{environment_id}/publicKeys/{key_id}`. `{owner_email}` is the email address of the user to whom the key belongs. `{environment_id}` is the identifier of the environment to which the key grants access. `{key_id}` is the unique identifier of the key. For example, `users/someone@example.com/environments/default/publicKeys/myKey`.
-      "format": "A String", # Required. Format of this key's content.
     },
   }
 
@@ -115,9 +115,9 @@
   An object of the form:
 
     { # A public SSH key, corresponding to a private SSH key held by the client.
+    "format": "A String", # Required. Format of this key's content.
     "key": "A String", # Required. Content of this key.
     "name": "A String", # Output only. Full name of this resource, in the format `users/{owner_email}/environments/{environment_id}/publicKeys/{key_id}`. `{owner_email}` is the email address of the user to whom the key belongs. `{environment_id}` is the identifier of the environment to which the key grants access. `{key_id}` is the unique identifier of the key. For example, `users/someone@example.com/environments/default/publicKeys/myKey`.
-    "format": "A String", # Required. Format of this key's content.
   }</pre>
 </div>