Auctex options.