Mirror of AUCTeX git repository (non regularly updated)