Fix some User's Guide broken links and typos
Broken links and typos in the User Guide are annoying, confusing, and a bad look, especially for newcomers. I put some effort into finding and comparing the best links to replace these ones with.
Thanks to @monoidal for helping me with this, in fixing and replacing !10766 (closed) !