Fix cross-references between different manuals