[Intra-doc links are now stable since 1.48.0 :tada:](https://blog.rust-lang.org/2020/11/19/Rust-1.48.html#easier-linking-in-rustdoc) Using them would simplify docs. cc #558