Renaming back to TeXly.