E.g. [searching for `Option`](http://static.rust-lang.org/doc/master/core/index.html?search=Option) links to http://static.rust-lang.org/doc/master/core/option/enum.Option.html but the real page is http://static.rust-lang.org/doc/master/core/option/type.Option.html