It now knows about all the differences between the extensions that GHC knows, and the extensions that Cabal knows.