select-search: drop bookmarklet and build step, .user.js is the single source

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

bin/dev-stub

@@ -67,19 +67,9 @@ for f in "$dir"/*.user.js; do
 done
 if [ -z "$src" ]; then
   echo "dev-stub: geen *.user.js in $dir" >&2
-  echo "dev-stub: bij een script met een build: draai eerst ./build.sh" >&2
   exit 1
 fi
 
-# Heeft de map een build, dan wijst @require naar de bron in plaats van naar het
-# gebouwde bestand: zo volstaat opslaan en de pagina herladen, zonder build.sh
-# ertussen. De metadata blijft wel uit het gebouwde script komen, want de bron
-# heeft geen ==UserScript==-blok.
-code="$src"
-if [ -f "$dir/src/$(basename "$dir").js" ]; then
-  code="$dir/src/$(basename "$dir").js"
-fi
-
 # Eén metadataveld uit de kop van het echte script halen.
 meta() {
   sed -n 's|^// @'"$1"'  *\(.*[^ ]\) *$|\1|p' "$src"
@@ -123,7 +113,7 @@ fi
   meta resource | while IFS= read -r value; do
     [ -n "$value" ] && printf '// @%-12s %s\n' resource "$value"
   done
-  printf '// @%-12s file://%s\n' require "$code"
+  printf '// @%-12s file://%s\n' require "$src"
   for key in grant connect run-at noframes; do
     meta "$key" | while IFS= read -r value; do
       [ -n "$value" ] && printf '// @%-12s %s\n' "$key" "$value"