Re: auctex 11.88 numeration scheme