Renamed since there always will be tex present in it.
Follow up of rename to introduction.tex.