rustdoc should inject this `extern mod` automatically, I don't think you'll need to include it.