Backported from modules.html to index.html, tweaked header and footer