Commented out AuCTeX