Remove empty lobby summary from servers page

src/routes/+page.svelte

@@ -95,7 +95,6 @@
     let campaigns = $derived(new Set(activeOperations.filter(op => op.kind === 'campaign').map(op => op.group)).size);
     let healthy = $derived(servers.filter(server => freshServer(server, observationNow()) && serverHealth(server, observationNow()).state === 'online'));
     let players = $derived(healthy.reduce((sum, server) => sum + (server.last_players ?? 0), 0));
-    let empty = $derived(healthy.filter(server => server.last_players === 0).length);
     const needsAttention = (server: FleetServer) => !['online', 'starting', 'provisioning'].includes(serverHealth(server, observationNow()).state) || activeOperations.some(op => op.server === server.name && op.state === 'attention');
     function matchesView(server: FleetServer, search: string, selected: FleetFilter) {
         return matchesFleet(server, search, selected === 'attention' ? 'all' : selected, game, pinned, activeOperations, observationNow())
@@ -181,7 +180,6 @@
         <div class="overview" aria-label="Fleet summary">
             <span><strong>{healthy.length ? players : '—'}</strong> {plural(players, 'player')} · <strong>{liveCount}</strong> live {plural(liveCount, 'match', 'matches')}</span>
             <span><strong>{healthy.length}/{servers.length}</strong> healthy</span>
-            <button class="metric-link" onclick={() => { resetFilters(); filter = 'empty'; }}>{empty} empty {empty === 1 ? 'lobby' : 'lobbies'}</button>
             {#if campaigns}<a class="metric-link" href="/campaigns">{campaigns} active {campaigns === 1 ? 'campaign' : 'campaigns'}</a>{/if}
             <span class="freshness">{$fleetError ? 'Reconnecting…' : `Live · updated ${snapshotAge < 60 ? `${snapshotAge} s` : `${Math.floor(snapshotAge / 60)} min`} ago`}</span>
         </div>