A little git+latex cleanup