Tons of theme updates + ghc-mod