Change stuff related to tex.
Doing something to gitmodules...
Revert project files to correct status.