[PATCH 5/7] docs: html: Add a manually written index page