partly typed index.html