[racket-dev] Strange problem with `check-docs' and `#:use-sources'

Currently, the documentation completeness checker (a wonderful tool;
thanks, Robby!) for Typed Racket complains that `->' and
`with-handlers' are not documented when provided from `typed/scheme',
`typed/scheme/base', and `typed-scheme'.  However, these identifiers
are fine when provided from `typed/racket', and are both defined in
modules where `check-docs' finds the documentation for other things
just fine, such as `define:' and `All'.  The documentation looks like
this:

(declare-exporting typed/scheme/base typed/scheme typed-scheme
                    #:use-sources
                    (typed-scheme/typed-scheme
                     typed-scheme/base-env/prims
                     typed-scheme/base-env/extra-procs
                     typed-scheme/base-env/base-types
                     typed-scheme/base-env/base-types-extra))

where `->' is defined in `typed-scheme/base-env/base-types-extra' and
`with-handlers' is defined in `typed-scheme/base-env/prims'.

Is there something else I should be doing here?  Is there a bug in
`check-docs'?
-- 
sam th
samth at ccs.neu.edu