fixes

browser-extension/popup.js

@@ -114,12 +114,19 @@
     browser.runtime.openOptionsPage();
   });
 
+  function updateIndicator() {
+    var el = document.getElementById('server-indicator');
+    var display = serverUrl ? serverUrl.replace(/^https?:\/\//, '') : 'Set server URL…';
+    el.textContent = display;
+    el.title = serverUrl || '';
+  }
+
   browser.storage.sync.get('serverUrl').then(function (r) {
     serverUrl = (r.serverUrl || '').replace(/\/+$/, '');
-    if (!serverUrl) showStatus('Set the server URL in Options', false);
+    updateIndicator();
+    loadUsers();
   });
 
-  loadUsers();
   captureContext();
   noteEl.focus();
 })();