Replace instance metrics with map lobby counts (Refs #139)

src/routes/metrics/+page.svelte

@@ -40,11 +40,7 @@
         (page.state as { metricsTableSearch?: string }).metricsTableSearch ?? page.url.search
     );
     const view = $derived(
-        new URLSearchParams(contextSearch).get('view') === 'instances'
-            ? 'instances'
-            : new URLSearchParams(contextSearch).get('view') === 'insights'
-              ? 'insights'
-              : 'maps'
+        new URLSearchParams(contextSearch).get('view') === 'insights' ? 'insights' : 'maps'
     );
     function changeView(value: string) {
         const url = new URL(page.url);
@@ -317,7 +313,6 @@
         <Tabs
             tabs={[
                 { id: 'maps', label: 'Maps' },
-                { id: 'instances', label: 'Instances' },
                 { id: 'insights', label: 'Autoscaling signals' }
             ]}
             value={view}
@@ -329,8 +324,6 @@
         <div id="metrics-breakdown" role="tabpanel" aria-labelledby={`metrics-views-${view}`}>
             {#if view === 'insights'}<MetricsExplore {report} />{:else}<MetricsTables
                     maps={report.maps}
-                    servers={report.servers}
-                    {view}
                 />{/if}
         </div>
     {/if}
@@ -413,11 +406,12 @@
             buckets can be partial. Average bars divide occupied, empty spare, and unknown
             lobby-hours by captured wall time within each bucket, so a partial period is not a lower
             lobby count merely because it is shorter. Percentage bars use all captured lobby time.
-            Instance time with players uses known lobby time only.
         </p>
         <p>
-            Historical server rows are grouped by name and may include multiple registrations using
-            that name. Map groups preserve the recorded game and map label.
+            Map groups preserve the recorded game and map label. Each map’s average and peak count
+            concurrent lobbies during its captured wall time, including unknown occupancy. Empty
+            lobby-hours sum time with zero reported players across that map’s lobbies. Per-lobby
+            history is available on server pages.
         </p>
     </details>
 </div>