add Manage Profiles page — full-screen multi-select delete

New full-page profiles manager at profiles/profiles.html:
- Shows all profiles with npub, active badge, duplicate detection
- Checkbox multi-select (click row or checkbox)
- Select All / Deselect All toggle
- Bulk "Delete Selected (N)" with confirmation
- Protects active profile (can't delete all — keeps active)
- Warnings for deleting active profile or all profiles
- Opens from Settings > Profiles > Manage Profiles button

Author: vveerrgg

build.js

@@ -27,6 +27,7 @@ const entryPoints = {
     'api-keys/api-keys.build': `${SRC}/api-keys/api-keys.js`,
     'security/security.build': `${SRC}/security/security.js`,
     'nostr-keys/nostr-keys.build': `${SRC}/nostr-keys/nostr-keys.js`,
+    'profiles/profiles.build': `${SRC}/profiles/profiles.js`,
 };
 
 // Chrome needs the service-worker entry point as well
@@ -77,6 +78,7 @@ const staticFiles = [
     'api-keys/api-keys.html',
     'security/security.html',
     'nostr-keys/nostr-keys.html',
+    'profiles/profiles.html',
 ];
 
 function copyRecursive(src, dest) {

distros/safari/options.build.css

@@ -1193,6 +1193,10 @@ td {
   position: relative;
 }
 
+.sticky {
+  position: sticky;
+}
+
 .right-0 {
   right: 0px;
 }