Rename pascal*.html to index.html and full.html