Fix ido-ubiquitous deprecation warning
Add header2 package
Merge remote-tracking branch 'origin/master' into dev
Remember the last 500 visited files
Use homebrew-version auctex
Merge remote-tracking branch 'origin/master' into dev