diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -2,6 +2,11 @@
 version](https://github.com/BlockScope/ghc-corroborate/blob/main/changelog.md)
 of this changelog.
 
+# CommandLineOption
+## v1.0
+
+* Add re-export of CommandLineOption, needed for passing options to plugins.
+
 # Initial Release
 ## v0.1
 
diff --git a/defaults.dhall b/defaults.dhall
--- a/defaults.dhall
+++ b/defaults.dhall
@@ -1,4 +1,4 @@
-{ version = "0.1.0"
+{ version = "1.0.0"
 , author = "Phil de Joux"
 , maintainer = "phil.dejoux@blockscope.com"
 , copyright = "© 2020-2022 Phil de Joux, © 2020-2022 Block Scope Limited"
@@ -7,7 +7,7 @@
 , license = "MPL-2.0"
 , license-file = "LICENSE.md"
 , tested-with =
-    "GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.1, GHC == 9.2.2"
+    "GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.3"
 , ghc-options =
   [ "-Wall"
   , "-Wincomplete-uni-patterns"
diff --git a/ghc-corroborate.cabal b/ghc-corroborate.cabal
--- a/ghc-corroborate.cabal
+++ b/ghc-corroborate.cabal
@@ -1,13 +1,13 @@
 cabal-version: 2.0
 
--- This file has been generated from package.dhall by hpack version 0.34.6.
+-- This file has been generated from package.dhall by hpack version 0.34.7.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: c06f71ab11c1f9db2542a51a56013fd94163228fda52e359ab6648d0720d529a
+-- hash: c3248a327520f3bde8c5f3a8739450d0c85c2f59921bc642859337ddd52c1471
 
 name:           ghc-corroborate
-version:        0.1.0
+version:        1.0.0
 synopsis:       An flatter API for GHC typechecker plugins
 description:    The GHC API changes over time. This package re-exports most GHC
                           imports needed by typechecker plugins from its GHC.Corroborate module
@@ -22,7 +22,7 @@
 license:        MPL-2.0
 license-file:   LICENSE.md
 tested-with:
-    GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.1, GHC == 9.2.2
+    GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.3
 build-type:     Simple
 extra-source-files:
     LICENSE.md
diff --git a/src-ghc-8.0/GHC/Corroborate.hs b/src-ghc-8.0/GHC/Corroborate.hs
--- a/src-ghc-8.0/GHC/Corroborate.hs
+++ b/src-ghc-8.0/GHC/Corroborate.hs
@@ -6,8 +6,10 @@
 module GHC.Corroborate
     (
       -- * Imports from
+      -- ** Plugins
+      module Plugins
       -- ** GhcPlugins
-      module GhcPlugins
+    , module GhcPlugins
       -- ** Constraint
     , module Constraint
       -- ** Predicate
@@ -38,6 +40,7 @@
     , tcLookupClass, tcLookupTyCon, lookupOrig
     ) where
 
+import Plugins (CommandLineOption)
 import GhcPlugins
     ( Plugin(..)
     , defaultPlugin
diff --git a/src-ghc-8.10/GHC/Corroborate.hs b/src-ghc-8.10/GHC/Corroborate.hs
--- a/src-ghc-8.10/GHC/Corroborate.hs
+++ b/src-ghc-8.10/GHC/Corroborate.hs
@@ -6,8 +6,10 @@
 module GHC.Corroborate
     (
       -- * Imports from
+      -- ** Plugins
+      module Plugins
       -- ** GhcPlugins
-      module GhcPlugins
+    , module GhcPlugins
       -- ** Constraint
     , module Constraint
       -- ** Predicate
@@ -42,6 +44,7 @@
 
 import Prelude hiding ((<>))
 
+import Plugins (CommandLineOption)
 import GhcPlugins
     ( Plugin(..), PluginRecompile(..)
     , defaultPlugin, purePlugin, impurePlugin, flagRecompile
diff --git a/src-ghc-8.2/GHC/Corroborate.hs b/src-ghc-8.2/GHC/Corroborate.hs
--- a/src-ghc-8.2/GHC/Corroborate.hs
+++ b/src-ghc-8.2/GHC/Corroborate.hs
@@ -6,8 +6,10 @@
 module GHC.Corroborate
     (
       -- * Imports from
+      -- ** Plugins
+      module Plugins
       -- ** GhcPlugins
-      module GhcPlugins
+    , module GhcPlugins
       -- ** Constraint
     , module Constraint
       -- ** Predicate
@@ -40,6 +42,7 @@
     , tcLookupClass, tcLookupTyCon, lookupOrig
     ) where
 
+import Plugins (CommandLineOption)
 import GhcPlugins
     ( Plugin(..)
     , defaultPlugin
diff --git a/src-ghc-8.4/GHC/Corroborate.hs b/src-ghc-8.4/GHC/Corroborate.hs
--- a/src-ghc-8.4/GHC/Corroborate.hs
+++ b/src-ghc-8.4/GHC/Corroborate.hs
@@ -6,8 +6,10 @@
 module GHC.Corroborate
     (
       -- * Imports from
+      -- ** Plugins
+      module Plugins
       -- ** GhcPlugins
-      module GhcPlugins
+    , module GhcPlugins
       -- ** Constraint
     , module Constraint
       -- ** Predicate
@@ -41,6 +43,7 @@
 
 import Prelude hiding ((<>))
 
+import Plugins (CommandLineOption)
 import GhcPlugins
     ( Plugin(..)
     , defaultPlugin
diff --git a/src-ghc-8.6/GHC/Corroborate.hs b/src-ghc-8.6/GHC/Corroborate.hs
--- a/src-ghc-8.6/GHC/Corroborate.hs
+++ b/src-ghc-8.6/GHC/Corroborate.hs
@@ -6,8 +6,10 @@
 module GHC.Corroborate
     (
       -- * Imports from
+      -- ** Plugins
+      module Plugins
       -- ** GhcPlugins
-      module GhcPlugins
+    , module GhcPlugins
       -- ** Constraint
     , module Constraint
       -- ** Predicate
@@ -41,6 +43,7 @@
 
 import Prelude hiding ((<>))
 
+import Plugins (CommandLineOption)
 import GhcPlugins
     ( Plugin(..), PluginRecompile(..)
     , defaultPlugin, purePlugin, impurePlugin, flagRecompile
diff --git a/src-ghc-8.8/GHC/Corroborate.hs b/src-ghc-8.8/GHC/Corroborate.hs
--- a/src-ghc-8.8/GHC/Corroborate.hs
+++ b/src-ghc-8.8/GHC/Corroborate.hs
@@ -6,8 +6,10 @@
 module GHC.Corroborate
     (
       -- * Imports from
+      -- ** Plugins
+      module Plugins
       -- ** GhcPlugins
-      module GhcPlugins
+    , module GhcPlugins
       -- ** Constraint
     , module Constraint
       -- ** Predicate
@@ -41,6 +43,7 @@
 
 import Prelude hiding ((<>))
 
+import Plugins (CommandLineOption)
 import GhcPlugins
     ( Plugin(..), PluginRecompile(..)
     , defaultPlugin, purePlugin, impurePlugin, flagRecompile
diff --git a/src-ghc-9.0/GHC/Corroborate.hs b/src-ghc-9.0/GHC/Corroborate.hs
--- a/src-ghc-9.0/GHC/Corroborate.hs
+++ b/src-ghc-9.0/GHC/Corroborate.hs
@@ -6,8 +6,10 @@
 module GHC.Corroborate
     (
       -- * Imports from
+      -- ** GHC.Driver.Plugins
+      module GHC.Driver.Plugins
       -- ** GHC.Plugins
-      module GHC.Plugins
+    , module GHC.Plugins
       -- ** GHC.Tc.Types.Constraint
     , module GHC.Tc.Types.Constraint
       -- ** GHC.Core.Predicate
@@ -42,6 +44,7 @@
 
 import Prelude hiding ((<>))
 
+import GHC.Driver.Plugins (CommandLineOption)
 import GHC.Plugins
     ( Plugin(..), PluginRecompile(..)
     , defaultPlugin, purePlugin, impurePlugin, flagRecompile
diff --git a/src-ghc-9.2/GHC/Corroborate.hs b/src-ghc-9.2/GHC/Corroborate.hs
--- a/src-ghc-9.2/GHC/Corroborate.hs
+++ b/src-ghc-9.2/GHC/Corroborate.hs
@@ -6,8 +6,10 @@
 module GHC.Corroborate
     (
       -- * Imports from
+      -- ** GHC.Driver.Plugins
+      module GHC.Driver.Plugins
       -- ** GHC.Plugins
-      module GHC.Plugins
+    , module GHC.Plugins
       -- ** GHC.Tc.Types.Constraint
     , module GHC.Tc.Types.Constraint
       -- ** GHC.Core.Predicate
@@ -42,6 +44,7 @@
 
 import Prelude hiding ((<>))
 
+import GHC.Driver.Plugins (CommandLineOption)
 import GHC.Plugins
     ( Plugin(..), PluginRecompile(..)
     , defaultPlugin, purePlugin, impurePlugin, flagRecompile