AUCTeX has swapped to git.