…but only one link to an HTML file containing an overview of all the available documentation. Fixes #994.