Previously the user's guide stated that the extensions field was
preferred over ghc-options, even though extensions are deprecated in
favour for default-extensions. This commit updates the reference to
default-extensions instead.