Future AUCTeX distribution