plugins: merge the user Plugins page into per-plugin sidebar pages

The generic per-user #plugins page is gone: a plugin with per-user
settings hosts them in its own web_pages() sidebar page instead
(Telegram's pairing page is new; Honcho's opt-in page already existed).
The admin catalog moves from #plugin-catalog to #plugins (old hash
redirected), and user_config_schema is removed from the Plugin trait,
the API DTOs and both plugins — the my-config endpoint, the
plugin_user_configs store and the update_user_config hook stay, now
driven by each plugin's own page fragment.

web/i18n/fr.js

@@ -21,7 +21,6 @@ export default {
   'nav.roles':         'Rôles',
   'nav.connectors':    'Connecteurs',
   'nav.plugins':       'Plugins',
-  'nav.plugin_catalog': 'Catalogue des plugins',
   'nav.config':        'Paramètres',
   'nav.llm_requests':  'Requêtes LLM',
   'nav.system_agents': 'Agents système',
@@ -864,39 +863,25 @@ export default {
   'connectors.error.no_connector':    'Aucun connecteur nommé "{name}" ne vous est disponible.',
 
   // ── Plugins ─────────────────────────────────────────────────────────────────
-  'plugins.title':             'Plugins',
   'plugins.loading':           'Chargement…',
-  'plugins.section.mine':      'Mes plugins',
-  'plugins.section.manage':    'Gérer les plugins',
-  'plugins.empty.mine':        'Aucun plugin disponible pour vous.',
-  'plugins.empty.ask_admin':   "Demandez à un administrateur de vous accorder l'accès.",
   'plugins.empty.manage':      'Aucun plugin enregistré.',
-  'plugins.status.active':     'actif',
-  'plugins.status.running':    'en cours',
-  'plugins.status.enabled':    'activé',
-  'plugins.status.off':        'arrêté',
   'plugins.enabled':           'Activé',
-  'plugins.save':              'Enregistrer',
   'plugins.save_config':       'Enregistrer la config',
   'plugins.saved':             'Enregistré.',
   'plugin_page.loading':       'Chargement…',
   'plugin_page.unavailable':   'Page non disponible (plugin désactivé ou page non accordée).',
-  'plugins.yes':               'oui',
-  'plugins.no':                'non',
-  'plugins.badge.user_config': 'réglages par utilisateur',
-  'plugins.access.btn':        'Accès utilisateurs',
+  'plugins.badge.user_page':   'page utilisateur',
   'plugins.access.desc':       "Cochez qui peut voir et configurer ce plugin. L'enregistrement remplace toute la liste.",
   'plugins.access.empty':      'Aucun utilisateur.',
   'plugins.access.save':       'Enregistrer les accès',
   'plugins.error.required':    '« {field} » est requis.',
-  'plugins.catalog.title':     'Catalogue des plugins',
   'plugins.catalog.configure': 'Configurer',
   'plugins.health.ok':           'actif',
   'plugins.health.off':          'arrêté',
   'plugins.health.needs_config': 'à configurer',
   'plugins.health.not_running':  'non démarré',
   'plugins.badge.instance_config': 'réglages d’instance',
-  'plugins.detail.back':         'Retour au catalogue',
+  'plugins.detail.back':         'Retour aux plugins',
   'plugins.detail.config.title': 'Configuration de l’instance',
   'plugins.detail.config.empty': 'Ce plugin n’a aucun réglage d’instance.',
   'plugins.detail.config.custom_page': 'Ce plugin possède sa propre page de configuration.',