diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,12 @@
 # Revision history for agda2lagda
 
+## 0.2023.6.9
+
+_West Pride revision._
+
+* Builds with `optparse-applicative-0.18`.
+* Tested with GHC 8.0.2 - 9.6.2.
+
 ## 0.2023.3.25
 
 * Output `-o` ending in `.md` or `.markdown` now activates `--markdown` format.
diff --git a/agda2lagda.cabal b/agda2lagda.cabal
--- a/agda2lagda.cabal
+++ b/agda2lagda.cabal
@@ -1,7 +1,7 @@
 cabal-version:       1.24
 
 name:                agda2lagda
-version:             0.2023.3.25
+version:             0.2023.6.9
 synopsis:            Translate .agda files into .lagda.tex files.
 
 description:         Simple command line tool to convert plain Agda
@@ -32,9 +32,9 @@
   test/golden/*.lagda.tex
 
 tested-with:
-  GHC == 9.6.1
-  GHC == 9.4.4
-  GHC == 9.2.7
+  GHC == 9.6.2
+  GHC == 9.4.5
+  GHC == 9.2.8
   GHC == 9.0.2
   GHC == 8.10.7
   GHC == 8.8.4
@@ -45,7 +45,7 @@
 
 source-repository head
   type:     git
-  location: git://github.com/andreasabel/agda2lagda.git
+  location: https://github.com/andreasabel/agda2lagda.git
 
 executable agda2lagda
   main-is:             Main.hs
@@ -60,42 +60,22 @@
 
   -- other-extensions:
   build-depends:       base >=4.9 && < 5
-                       -- , ansi-wl-pprint >= 0.6.7.3 && < 0.7
                        , directory
                        -- , directory >= 1.2.6.2 && < 1.4
                        , filepath
                        -- , filepath == 1.4.*
-                       , optparse-applicative
-                       -- , optparse-applicative >= 0.13 && < 0.16
+                       , optparse-applicative >= 0.13
 
   hs-source-dirs:      src
   default-language:    Haskell2010
 
   default-extensions:
-                       -- BangPatterns
-                       -- ConstraintKinds
-                       -- DefaultSignatures
-                       -- DeriveDataTypeable
-                       -- DeriveFoldable
                        DeriveFunctor
-                       -- DeriveTraversable
-                       -- ExistentialQuantification
-                       -- FlexibleContexts
-                       -- FlexibleInstances
-                       -- FunctionalDependencies
-                       -- InstanceSigs
                        LambdaCase
-                       -- MultiParamTypeClasses
                        MultiWayIf
-                       -- NamedFieldPuns
-                       -- OverloadedStrings
                        PatternSynonyms
-                       -- RankNTypes
                        RecordWildCards
-                       -- ScopedTypeVariables
-                       -- StandaloneDeriving
                        TupleSections
-                       -- TypeSynonymInstances
 
   ghc-options:         -Wall
                        -Wcompat
diff --git a/src/Options.hs b/src/Options.hs
--- a/src/Options.hs
+++ b/src/Options.hs
@@ -13,7 +13,7 @@
 import qualified Data.List as List
 
 import Options.Applicative
-import Options.Applicative.Help.Pretty (vcat, text) -- , (<$$>))
+import Options.Applicative.Help.Pretty (vcat, pretty) -- , (<$$>))
 
 import System.Directory (doesDirectoryExist)
 import System.FilePath
@@ -116,7 +116,7 @@
       <> hidden
       <> help "Show just version number."
       -- Newline at the end:
-      -- <> helpDoc (Just $ text "Show just version number." <$$> text "")
+      -- <> helpDoc (Just $ pretty "Show just version number." <$$> pretty "")
 
   programOptions = Options
     <$> oVerbose
@@ -194,7 +194,7 @@
           "-"  -> Nothing
           file -> Just file
 
-  foot = vcat $ map text $ concat
+  foot = vcat $ map pretty $ concat
     [ [ "Unless explicitly given via -o, the name of the output file is computed by replacing the extension of the input file, according to the following rules:"
       , "" ]
     , extensionMap >>= \ (src, (_language, rest)) ->
diff --git a/test/golden/ClosingCommentInString.lagda.md b/test/golden/ClosingCommentInString.lagda.md
--- a/test/golden/ClosingCommentInString.lagda.md
+++ b/test/golden/ClosingCommentInString.lagda.md
@@ -1,4 +1,4 @@
-<!-- This file was automatically generated by agda2lagda 0.2023.3.25. -->
+<!-- This file was automatically generated by agda2lagda 0.2023.6.9. -->
 
 This demonstrates a known issue:
 The parser is not aware of strings, thus,
diff --git a/test/golden/ClosingCommentInString.lagda.tex b/test/golden/ClosingCommentInString.lagda.tex
--- a/test/golden/ClosingCommentInString.lagda.tex
+++ b/test/golden/ClosingCommentInString.lagda.tex
@@ -1,4 +1,4 @@
-%% This file was automatically generated by agda2lagda 0.2023.3.25.
+%% This file was automatically generated by agda2lagda 0.2023.6.9.
 
 This demonstrates a known issue:
 The parser is not aware of strings, thus,
diff --git a/test/golden/Foo.lagda.md b/test/golden/Foo.lagda.md
--- a/test/golden/Foo.lagda.md
+++ b/test/golden/Foo.lagda.md
@@ -1,4 +1,4 @@
-<!-- This file was automatically generated by agda2lagda 0.2023.3.25. -->
+<!-- This file was automatically generated by agda2lagda 0.2023.6.9. -->
 
 Sample non-literate Agda program
 ================================
diff --git a/test/golden/Foo.lagda.tex b/test/golden/Foo.lagda.tex
--- a/test/golden/Foo.lagda.tex
+++ b/test/golden/Foo.lagda.tex
@@ -1,4 +1,4 @@
-%% This file was automatically generated by agda2lagda 0.2023.3.25.
+%% This file was automatically generated by agda2lagda 0.2023.6.9.
 
 \heading{Sample non-literate Agda program}