rustdoc: Remove * intra-doc alias for pointer
#80892
Merged
* intra-doc alias for pointer
#80892