minor tweaks to html.md homepage