more .html extensions to fix in-browser viewing