Mirror of AUCTeX git repository (non updated)