renamed jstyping.html to index.html