(Distribution index.html: Some fiddling with the Manual bookmarks)