Fix a few broken links in the doc