chore: rename "external workspace proxies" and "external provisioners" (#7454)

docs/admin/provisioners.md

@@ -1,4 +1,4 @@
-# External provisioners
+# Provisioners
 
 By default, the Coder server runs [built-in provisioner daemons](../cli/server.md#provisioner-daemons), which execute `terraform` during workspace and template builds. However, there are sometimes benefits to running external provisioner daemons:
 

docs/manifest.json

@@ -301,14 +301,14 @@
           "icon_path": "./images/icons/scale.svg"
         },
         {
-          "title": "External Provisioners",
+          "title": "Provisioners",
           "description": "Run provisioners isolated from the Coder server",
           "path": "./admin/provisioners.md",
           "icon_path": "./images/icons/queue.svg",
           "state": "enterprise"
         },
         {
-          "title": "External Workspace Proxies",
+          "title": "Workspace Proxies",
           "description": "Run geo distributed workspace proxies",
           "path": "./admin/workspace-proxies.md",
           "icon_path": "./images/icons/networking.svg",