refactor: move admin management into session monitor, fix session_id enum format

- Remove standalone admins tab, replace with BotAdminsDialog in session monitor
- Add admin toggle button inline in chat header next to Active status
- Add BotAdminsDialog component with useBotAdmins hook
- Fix session_id written as LauncherTypes.PERSON_xxx instead of person_xxx
  (monitoring_helper.py x4, pipelinemgr.py x1 missing .value on launcher_type)
- Fix duplicate platform/person label in session list and chat header
- Migrate existing malformed session_id records in DB

web/src/i18n/locales/es-ES.ts

@@ -456,26 +456,6 @@ const esES = {
       userMessage: 'Usuario',
       botMessage: 'Asistente',
     },
-    admins: {
-      title: 'Admins',
-      description:
-        "Launchers (person/group IDs) that have admin privilege for this bot's commands",
-      addAdmin: 'Add Admin',
-      launcherType: 'Type',
-      launcherId: 'ID',
-      typePerson: 'Person',
-      typeGroup: 'Group',
-      placeholderId: 'User or group ID',
-      addSuccess: 'Admin added',
-      addError: 'Failed to add admin: ',
-      deleteSuccess: 'Admin removed',
-      deleteError: 'Failed to remove admin: ',
-      noAdmins: 'No admins configured',
-      setAdminTitle: 'Set as admin',
-      removeAdminTitle: 'Remove admin',
-      adminBadge: 'Admin',
-      configureAdmins: 'Manage Admins',
-    },
   },
   plugins: {
     title: 'Extensiones',

web/src/i18n/locales/ja-JP.ts

@@ -450,26 +450,6 @@ const jaJP = {
       userMessage: 'ユーザー',
       botMessage: 'アシスタント',
     },
-    admins: {
-      title: 'Admins',
-      description:
-        "Launchers (person/group IDs) that have admin privilege for this bot's commands",
-      addAdmin: 'Add Admin',
-      launcherType: 'Type',
-      launcherId: 'ID',
-      typePerson: 'Person',
-      typeGroup: 'Group',
-      placeholderId: 'User or group ID',
-      addSuccess: 'Admin added',
-      addError: 'Failed to add admin: ',
-      deleteSuccess: 'Admin removed',
-      deleteError: 'Failed to remove admin: ',
-      noAdmins: 'No admins configured',
-      setAdminTitle: 'Set as admin',
-      removeAdminTitle: 'Remove admin',
-      adminBadge: 'Admin',
-      configureAdmins: 'Manage Admins',
-    },
   },
   plugins: {
     title: '拡張機能',

web/src/i18n/locales/ru-RU.ts

@@ -454,26 +454,6 @@ const ruRU = {
       userMessage: 'Пользователь',
       botMessage: 'Ассистент',
     },
-    admins: {
-      title: 'Admins',
-      description:
-        "Launchers (person/group IDs) that have admin privilege for this bot's commands",
-      addAdmin: 'Add Admin',
-      launcherType: 'Type',
-      launcherId: 'ID',
-      typePerson: 'Person',
-      typeGroup: 'Group',
-      placeholderId: 'User or group ID',
-      addSuccess: 'Admin added',
-      addError: 'Failed to add admin: ',
-      deleteSuccess: 'Admin removed',
-      deleteError: 'Failed to remove admin: ',
-      noAdmins: 'No admins configured',
-      setAdminTitle: 'Set as admin',
-      removeAdminTitle: 'Remove admin',
-      adminBadge: 'Admin',
-      configureAdmins: 'Manage Admins',
-    },
   },
   plugins: {
     title: 'Расширения',

web/src/i18n/locales/th-TH.ts

@@ -440,26 +440,6 @@ const thTH = {
       userMessage: 'ผู้ใช้',
       botMessage: 'ผู้ช่วย',
     },
-    admins: {
-      title: 'Admins',
-      description:
-        "Launchers (person/group IDs) that have admin privilege for this bot's commands",
-      addAdmin: 'Add Admin',
-      launcherType: 'Type',
-      launcherId: 'ID',
-      typePerson: 'Person',
-      typeGroup: 'Group',
-      placeholderId: 'User or group ID',
-      addSuccess: 'Admin added',
-      addError: 'Failed to add admin: ',
-      deleteSuccess: 'Admin removed',
-      deleteError: 'Failed to remove admin: ',
-      noAdmins: 'No admins configured',
-      setAdminTitle: 'Set as admin',
-      removeAdminTitle: 'Remove admin',
-      adminBadge: 'Admin',
-      configureAdmins: 'Manage Admins',
-    },
   },
   plugins: {
     title: 'ส่วนขยาย',

web/src/i18n/locales/vi-VN.ts

@@ -450,26 +450,6 @@ const viVN = {
       userMessage: 'Người dùng',
       botMessage: 'Trợ lý',
     },
-    admins: {
-      title: 'Admins',
-      description:
-        "Launchers (person/group IDs) that have admin privilege for this bot's commands",
-      addAdmin: 'Add Admin',
-      launcherType: 'Type',
-      launcherId: 'ID',
-      typePerson: 'Person',
-      typeGroup: 'Group',
-      placeholderId: 'User or group ID',
-      addSuccess: 'Admin added',
-      addError: 'Failed to add admin: ',
-      deleteSuccess: 'Admin removed',
-      deleteError: 'Failed to remove admin: ',
-      noAdmins: 'No admins configured',
-      setAdminTitle: 'Set as admin',
-      removeAdminTitle: 'Remove admin',
-      adminBadge: 'Admin',
-      configureAdmins: 'Manage Admins',
-    },
   },
   plugins: {
     title: 'Tiện ích mở rộng',

web/src/i18n/locales/zh-Hant.ts

@@ -426,25 +426,6 @@ const zhHant = {
       userMessage: '使用者',
       botMessage: '助手',
     },
-    admins: {
-      title: '管理員',
-      description: '擁有此機器人指令管理員權限的會話（使用者/群組 ID）',
-      addAdmin: '新增管理員',
-      launcherType: '類型',
-      launcherId: 'ID',
-      typePerson: '私聊',
-      typeGroup: '群組',
-      placeholderId: '使用者或群組 ID',
-      addSuccess: '新增成功',
-      addError: '新增失敗：',
-      deleteSuccess: '已移除',
-      deleteError: '移除失敗：',
-      noAdmins: '尚無管理員',
-      setAdminTitle: '設為管理員',
-      removeAdminTitle: '移除管理員權限',
-      adminBadge: '管理員',
-      configureAdmins: '設定管理員',
-    },
   },
   plugins: {
     title: '外掛擴展',