fixes #0001378: outdated url in man pages