Improve server picker health state handling and bump Harbor versions

test/web/server-picker.test.js

@@ -48,6 +48,12 @@ test('server picker keeps health manual and the rendered result window bounded',
   assert.match(picker, /aria-expanded={!isCollapsed}/);
 });
 
+test('manual health remains visible for Auto and simple rows', () => {
+  assert.match(picker, /autoActive \? serverHealthText\(pings\[selectedServerId\]\)/);
+  assert.match(picker, /disabled={checking \|\| \(!selectedServerId && !visible\.length\)}/);
+  assert.match(picker, /simpleServers\.map[\s\S]*?ping={pings\[server\.id\]}/);
+});
+
 test('server picker starts simple and reveals advanced controls on demand', () => {
   assert.match(picker, /const \[advanced, setAdvanced\] = useState\(false\)/);
   assert.match(picker, /aria-expanded={advanced}/);