Update and rename ascii.sed to tex.sed