Mirror of AUCTeX git repository (not regularly updated)