Removed auctex company cause it's slow. Trimmed down installed packages list.