AUCTEX now 11.88