help docs: Use {settings_tab|notifications} macro.

templates/zerver/help/configure-desktop-notifications.md

@@ -3,8 +3,7 @@
 You can configure your settings to receive desktop notifications for messages
 sent while Zulip is offscreen.
 
-1. Go to the [Notifications](/#settings/notifications)
-{!settings.md!}
+{settings_tab|notifications}
 
     * If you want desktop notifications for each new message from a stream,
 check the **Visual desktop notifications** option and/or **Audible desktop

templates/zerver/help/configure-email-digest-notifications.md

@@ -4,8 +4,7 @@ Follow the following steps to configure your settings to receive a weekly digest
 with a summary of the activity on your Zulip organization, such as popular
 conversations and new users, while you were away.
 
-1. Go to the [Notifications](/#settings/notifications)
-{!settings.md!}
+{settings_tab|notifications}
 
 2. Select the **Send digest emails when I'm away** option under the
 **Other notification settings** section.

templates/zerver/help/configure-email-notifications.md

@@ -3,8 +3,7 @@
 Follow the following steps to configure your settings to receive email notifications
 for private messages and @-mentions sent while you are offline.
 
-1. Go to the [Notifications](/#settings/notifications)
-{!settings.md!}
+{settings_tab|notifications}
 
 2. Select the **Email notifications** option under the
 **Private messages and @-mentions** section.

templates/zerver/help/configure-mobile-notifications.md

@@ -2,8 +2,7 @@
 
 Follow the following steps to change your mobile notification settings.
 
-1. Go to the [Notifications](/#settings/notifications)
-{!settings.md!}
+{settings_tab|notifications}
 
 2. Under the **Private messages and @-mentions** section, check the
 box by **Mobile push notifications when offline** if you

zerver/lib/bugdown/help_settings_links.py

@@ -13,6 +13,7 @@ link_mapping = {
     # be used to get to that setting
     'your-account': ['Settings', 'Your account', '/#settings/your-account'],
     'display-settings': ['Settings', 'Display settings', '/#settings/display-settings'],
+    'notifications': ['Settings', 'Notifications', '/#settings/notifications'],
     'emoji-settings': ['Manage organization', 'Custom emoji', '/#organization/emoji-settings'],
 }