documentation.html: Fix broken link.