[AC] Auctex texinfo fixes