Latest commit 5ba4c53 @davidlehn davidlehn Reduce use of explicit index.html.