Added html-extension. github-pages routes to it anyway?