diff --git a/man/pandoc-lua.1 b/man/pandoc-lua.1
--- a/man/pandoc-lua.1
+++ b/man/pandoc-lua.1
@@ -1,6 +1,6 @@
-.\" Automatically generated by Pandoc 3.7
+.\" Automatically generated by Pandoc 3.7.0.1
 .\"
-.TH "pandoc-lua" "1" "September 22, 2022" "pandoc 3.7" "Pandoc User\[cq]s Guide"
+.TH "pandoc-lua" "1" "September 22, 2022" "pandoc 3.7.0.1" "Pandoc User\[cq]s Guide"
 .SH SYNOPSIS
 \f[CR]pandoc\-lua\f[R] [\f[I]options\f[R]] [\f[I]script\f[R]
 [\f[I]args\f[R]]]
diff --git a/man/pandoc-server.1 b/man/pandoc-server.1
--- a/man/pandoc-server.1
+++ b/man/pandoc-server.1
@@ -1,6 +1,6 @@
-.\" Automatically generated by Pandoc 3.7
+.\" Automatically generated by Pandoc 3.7.0.1
 .\"
-.TH "pandoc-server" "1" "August 15, 2022" "pandoc 3.7" "Pandoc User\[cq]s Guide"
+.TH "pandoc-server" "1" "August 15, 2022" "pandoc 3.7.0.1" "Pandoc User\[cq]s Guide"
 .SH SYNOPSIS
 \f[CR]pandoc\-server\f[R] [\f[I]options\f[R]]
 .SH DESCRIPTION
diff --git a/man/pandoc.1 b/man/pandoc.1
--- a/man/pandoc.1
+++ b/man/pandoc.1
@@ -1,6 +1,6 @@
-.\" Automatically generated by Pandoc 3.7
+.\" Automatically generated by Pandoc 3.7.0.1
 .\"
-.TH "pandoc" "1" "2025\-05\-14" "pandoc 3.7" "Pandoc User\[cq]s Guide"
+.TH "pandoc" "1" "2025\-05\-17" "pandoc 3.7.0.1" "Pandoc User\[cq]s Guide"
 .SH NAME
 pandoc - general markup converter
 .SH SYNOPSIS
@@ -7844,12 +7844,10 @@
 readability and reuse, not tagging.
 Enable the \f[CR]tagging\f[R] format extension to force markup that is
 optimized for tagging.
-This can be combined with the \f[CR]pdfa\f[R] variable to generate
-standard\-compliant PDFs.
-E.g.:
+For example:
 .IP
 .EX
-pandoc \-\-to=context+tagging \-V pdfa=3a
+pandoc \-t context+tagging doc.md \-o doc.pdf
 .EE
 .PP
 A recent \f[CR]context\f[R] version should be used, as older versions
diff --git a/pandoc-cli.cabal b/pandoc-cli.cabal
--- a/pandoc-cli.cabal
+++ b/pandoc-cli.cabal
@@ -1,6 +1,6 @@
 cabal-version:   2.4
 name:            pandoc-cli
-version:         3.7
+version:         3.7.0.1
 build-type:      Simple
 license:         GPL-2.0-or-later
 license-file:    COPYING.md
@@ -70,7 +70,7 @@
   buildable:       True
   -- Note: we always link to an exact version of pandoc, with the
   -- same version as this package:
-  build-depends:   pandoc == 3.7,
+  build-depends:   pandoc == 3.7.0.1,
                    text
   other-modules:   PandocCLI.Lua
                  , PandocCLI.Server