These `extern mod` statements should be auto-injected by rustdoc, so you can probably remove them.