Update and rename introduction.html to introductions.txt