help: Update user management pages.

- Documents how to access the "Manage user" tab via a user's profile.

help/change-a-users-name.md

@@ -20,6 +20,14 @@ Organization administrators can always change any user's name.
 
 {!save-changes.md!}
 
+{tab|via-user-profile}
+
+{!manage-this-user-via-user-profile.md!}
+
+1. Under **Full name**, enter a new name.
+
+{!save-changes.md!}
+
 {tab|via-organization-settings}
 
 {settings_tab|user-list-admin}

help/change-a-users-role.md

@@ -27,6 +27,14 @@ organization](/help/deactivate-your-organization) instead).
 
 1. Click **Save changes**. The new permissions will take effect immediately.
 
+{tab|via-user-profile}
+
+{!manage-this-user-via-user-profile.md!}
+
+1. Under **User role**, select a [role](/help/roles-and-permissions).
+
+1. Click **Save changes**. The new permissions will take effect immediately.
+
 {tab|via-organization-settings}
 
 {settings_tab|user-list-admin}

help/deactivate-or-reactivate-a-user.md

@@ -43,6 +43,17 @@ When you deactivate a user:
 
 1. Approve by clicking **Deactivate**.
 
+{tab|via-user-profile}
+
+{!manage-this-user-via-user-profile.md!}
+
+1. Click **Deactivate user** at the bottom of the **Manage user** menu.
+
+1. *(optional)* Select **Notify this user by email?** if desired, and enter a
+   custom comment to include in the notification email.
+
+1. Approve by clicking **Deactivate**.
+
 {tab|via-organization-settings}
 
 {settings_tab|user-list-admin}

help/include/manage-this-user-via-user-profile.md

@@ -0,0 +1,4 @@
+{!right-sidebar-view-profile.md!}
+
+1. Select the **Manage user** tab, or click the **pencil and paper**
+   (<i class="fa fa-edit"></i>) icon next to the user's name.

zerver/lib/markdown/tabbed_sections.py

@@ -78,6 +78,7 @@ TAB_SECTION_LABELS = {
     "private-streams": "Private streams",
     "web-public-streams": "Web-public streams",
     "via-user-card": "Via user card",
+    "via-user-profile": "Via user profile",
     "via-organization-settings": "Via organization settings",
     "via-personal-settings": "Via personal settings",
     "default-subdomain": "Default subdomain",