Re: committed AUCTeX patch