In the end, git logs could be useful some times, let us keep them
Updating compilation file + screw you, LateX