Tex filetype commenting