diff --git a/collects/scribble/search.ss b/collects/scribble/search.ss
index 034b7255..1186ed63 100644
--- a/collects/scribble/search.ss
+++ b/collects/scribble/search.ss
@@ -28,10 +28,11 @@
     ;; because no one uses the same name for different-phase exported
     ;; bindings.
     ;;
-    ;; However, we assume that bidings are defined as originating from some
-    ;; module at phase 0. Maybe it's defined at phase 1 and re-exported
+    ;; Formerly, we assumed that bidings are defined as originating from some
+    ;; module at phase 0. [Maybe it's defined at phase 1 and re-exported
     ;; later for phase 0 (after a require-for-template), in which case the
-    ;; re-exporting module is the one we find.
+    ;; re-exporting module is the one we find.] That assumption has been
+    ;; lifted, however; search for "GONE" below.
     (let ([b (cond
               [(identifier? stx/binding)
                (identifier-binding stx/binding phase-level)]
@@ -74,7 +75,7 @@
                    [export-phase (list-ref (car queue) 4)]
                    [queue (cdr queue)])
                (let* ([rmp (module-path-index-resolve mod)]
-                      [eb (and (equal? 0 export-phase) ;; look for the phase-0 export; good idea?
+                      [eb (and ;; GONE: (equal? 0 export-phase) ;; look for the phase-0 export; good idea?
                                (list (module-path-index->taglet mod)
                                      id))])
                  (when (and eb