Fix links to tools

Closed username-removed-1133771 requested to merge maxklenk/www-gitlab-com:patch-180 into master

Fix links to headlines which are in another handbook document.