banners: Convert banners into plain text.

This commits convert the banners of "Settings > Default user settings"
and "Personal > Bots" into plain text. Also, change the plain text of
"Personal > Bots" to be more descriptive.

Fixes part of #34252.

web/styles/settings.css

@@ -963,6 +963,7 @@ input[type="checkbox"] {
 #bot-settings {
     .add-a-new-bot {
         margin-bottom: 2px;
+        margin-top: 10px;
     }
 
     hr {

web/templates/settings/bot_settings.hbs

@@ -1,9 +1,9 @@
 <div id="bot-settings" class="settings-section" data-name="your-bots">
     <div class="bot-settings-form">
         {{#unless current_user.is_guest}}
-        <div class="tip">
+        <div>
             {{#tr}}
-                Looking for our <z-integrations>integrations</z-integrations> or <z-api>API</z-api> documentation?
+                See the <z-integrations>integrations</z-integrations> and <z-api>API</z-api> documentation for more information.
                 {{#*inline "z-integrations"}}<a href="/integrations/" target="_blank" rel="noopener noreferrer">{{> @partial-block}}</a>{{/inline}}
                 {{#*inline "z-api"}}<a href="/api/" target="_blank" rel="noopener noreferrer">{{> @partial-block}}</a>{{/inline}}
             {{/tr}}

web/templates/settings/organization_user_settings_defaults.hbs

@@ -1,6 +1,6 @@
 <div id="realm-user-default-settings" class="settings-section" data-name="organization-level-user-defaults">
     {{#if is_admin}}
-    <div class="tip">
+    <div>
         {{#tr}}
             Configure the <z-link>default personal preference settings</z-link>
             for new users joining your organization.