Adapt the manual to the new format of hyperlinks.