Fixing broken links in doc, part 3: the rest