index.html: replace main link to documentation.html by a link to getting-started.html