issue #612 Links to manual: correct URL