Replaces HTML INFT1004 with Tex
Replaces HTML GENG1803 with Tex