[racket-dev] Duplicate tag warnings building docs?

Building HEAD (97ee349) today I noticed the following:

raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt")
current-pkg-catalog-file))
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") get-catalogs))
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") get-module-pkgs))
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt")
get-pkg-dependencies))
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") get-pkg-modules))
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") get-pkg-tags))
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") get-pkgs))
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup:  in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
...


and quite a few more (not all are "pkg/db.rkt") -- full output here:
https://gist.github.com/greghendershott/8013323

This may have been happening for quite awhile but I haven't noticed.
These is in the middle of the doc section, wouldn't be on-screen at
the end of the build.

Not sure if it matters but wanted to mention just in case.