Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
doc: remove unused/duplicated reference links #13066
I noticed some un-styled markdown at #12756, and the original PR may take more time. To avoid more conflicts and make the diff a bit small, it would be nice if we can take the docs fix commits from it. Then I removed the unused/duplicated reference links.
Affected core subsystem(s)