We often forget to run this command when updating manpages, and notice only much later. Add a step in the CI to flag it, as we already do for the D-Bus docs. (cherry picked from commit 1219b0e816)
1219b0e816