 These do show up in rustdoc's output and interpret intra-doc links as normal, so we should highlight them.