Rename intro.html to theory.html