Auctex -> melpa, also better-package-install-list