typed index.html to instruction specs