tint2rc
emacs: acl2 mode removed
emacs: android and arduino mode removed
emacs: ats-mode