Add missing Tetrahedron.html, and html/_static/.nojekyll in case that fixes our rendering issue.