auto-dim-other-buffers package activated
monokai theme modifications
Merge remote-tracking branch 'github/emacs' into emacs